—
/100
Unscored
○ Unscored 0⁄0
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.
Glama
Unscored visibility
— 0/0 applicable dimensions scored
○ Schema Quality
○ Protocol
— Reliability
○ Docs & Maintenance
○ Security Hygiene
— Schema Interpretability
A remote probe is needed for Protocol and Reliability scores.
Schema Quality
—
25% weight
Protocol Compliance
—
20% weight
Reliability
—
20% weight
Docs & Maintenance
—
15% weight
Security Hygiene
—
20% weight
30-Day Uptime
30 days ago
Today
Add this to your README to display your MCP Scoreboard grade:
