N/A
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.
Scan Scheduled
This agent is queued for security scanning. It will be graded in the next scan batch.
What We Know
- URL https://github.com/insinuateai/prova-mcp
- Framework mcp
- Sources glama
- First Seen Jun 01, 2026
- Repository github.com/insinuateai/prova-mcp
Browse more:
Search all agents
Ecosystem Report