formal-proof-mcp
Rank #67,162glama/nickharris808/formal-proof-mcp
MCP server that provides six verification tools (Lean proof checking, axiom audit, bound, gridlock check, certificate verification, residency check) with honest status reporting (ok/failed/unavailable) to prevent agents from claiming unchecked proofs passed.
formal-proof-mcp is a Model Context Protocol (MCP) server published by nickharris808. It ranks #67,162 of 132,113 servers tracked on MCP Toplist. formal-proof-mcp is listed on Glama, and ships as a single rolling release with no explicit version metadata. It was first listed on Jul 28, 2026.
Ranks ahead of 64,951 of 132,113 servers on MCP Toplist.
Use formal-proof-mcp
No credentials or required configuration declared — add it to your MCP client and go.
This server doesn't publish a machine-readable install config — see the repository README for install instructions.
Show your rank
Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.
[](https://mcptoplist.com/server/glama%2Fnickharris808%2Fformal-proof-mcp)<a href="https://mcptoplist.com/server/glama%2Fnickharris808%2Fformal-proof-mcp"><img src="https://mcptoplist.com/badge/glama%2Fnickharris808%2Fformal-proof-mcp.svg" alt="MCP Toplist: #67,162 of 132,113" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
Listed on 1 registry
nickharris808
Other servers by nickharris808
- crs-mcp#32,246 · 1 ver
- certified-mcp#36,510 · 1 ver
- physics-lint-mcp#55,627
- minicheck-mcp#67,163
- hw-verify-mcp#121,715
- pqc-migration-mcp#121,716
Not versioned
This server is published through a registry that does not expose explicit version metadata, and no GitHub release tags were found on the linked repository. The listing tracks a single rolling release.
Frequently asked questions
- Who maintains formal-proof-mcp?
- formal-proof-mcp is maintained by nickharris808, which publishes 7 MCP servers (2 total versions) tracked on MCP Toplist.
- Is formal-proof-mcp listed on the Official MCP Registry?
- formal-proof-mcp is not on the Official MCP Registry. It is listed on Glama.
- How many versions does formal-proof-mcp have?
- formal-proof-mcp ships as a single rolling release with no explicit version metadata.
- Where can I find the source code for formal-proof-mcp?
- The source code for formal-proof-mcp is hosted at github.com/nickharris808/formal-proof-mcp.
Do you run this server?
Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.