prova-mcp
Rank #56860glama/insinuateai/prova-mcp
An MCP server that exposes the Prova reasoning verifier, enabling AI agents to verify their own reasoning and kernel-check Lean 4 proofs before outputting answers.
prova-mcp is a Model Context Protocol (MCP) server published by insinuateai. It ranks #56860 of 58,900 servers tracked on MCP Toplist. prova-mcp is listed on Glama, and ships as a single rolling release with no explicit version metadata. It was first listed on May 31, 2026.
Ranks ahead of 2,040 of 58,900 servers on MCP Toplist.
Use prova-mcp
prova-mcp doesn’t publish a machine-readable install config. Follow the setup instructions in its repository ↗, or open one of its registry listings above.
Listed on 1 registry
insinuateai
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
- What is prova-mcp?
- An MCP server that exposes the Prova reasoning verifier, enabling AI agents to verify their own reasoning and kernel-check Lean 4 proofs before outputting answers.
- Who maintains prova-mcp?
- prova-mcp is maintained by insinuateai, which publishes 1 MCP server (0 total versions) tracked on MCP Toplist.
- Is prova-mcp listed on the official MCP registry?
- prova-mcp is not on the Official MCP Registry. It is listed on Glama.
- How many versions does prova-mcp have?
- prova-mcp ships as a single rolling release with no explicit version metadata.
- Where can I find the source code for prova-mcp?
- The source code for prova-mcp is hosted at github.com/insinuateai/prova-mcp.