What this MCP does
Compiles Lean 4 code, proves theorems, and supports formal mathematics with Mathlib.
Tools
Similar MCP servers
kernelcad
Authors, evaluates, reviews, simulates, edits, and exports parametric CAD assemblies and geometry from editable TypeScript-based …
Affine.Earth Math Court
Performs exact integer and rational mathematical verification across algebra, geometry, physics, quantum-computing witnesses, rob…
RQM Studio Jobs
Provides bounded quantum-circuit parsing, validation, compilation, optimization, equivalence checks, repair, simulation, provider…
Bioregistry
Looks up biomedical identifier prefixes and metadata, including URI patterns, aliases, homepages, and cross-registry mappings.
RQM Jobs MCP
Runs bounded robotics and control-system analyses such as trajectory validation, controller comparison, calibration assessment, c…
Mathjs
Evaluates mathematical expressions and performs unit conversions through the Math.js API.
DOI Shape
Checks the structural format of a DOI.
Cords to cubic meters, number discarded
Provides cord-to-cubic-meter conversion along with small URL, parsing, time, weather, and validation utilities.