formalized-mathematics MCP servers

1 tagged formalized-mathematics, measured the same way as everything else here.

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

lean-lsp

01

the-omega-institute/automath

MCP server Claude CodeCodexCursor +2

Lean Theorem Prover MCP. Runs locally from the lean-lsp-mcp Python package.

not rated 72 1mo ago A tokens not measured