A
licenseA
qualityD
maintenanceAn 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.
5
MIT
111,173 servers. Updated
Search Relevance ↓
Recent Usage ↓
Date Added ↓
Date Updated ↓
Weekly npm Downloads ↓
Weekly PyPI Downloads ↓
GitHub Stars ↓
Recent GitHub Stars ↓