Search for a command to run...
1 MCPs · 0 installs total
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 answe
Unyly
