32
/100
F
◎ Verified 5⁄5
prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Verified visibility
— 5/5 applicable dimensions scored
✓ Schema Quality
✓ Protocol
✓ Reliability
✓ Docs & Maintenance
✓ Security Hygiene
— Schema Interpretability
Schema Quality
48
25% weight
Protocol Compliance
—
20% weight
Reliability
—
20% weight
Docs & Maintenance
23
15% weight
Security Hygiene
81
20% weight
Score History
Category Trends
30-Day Uptime
30 days ago
Today
Latest Health Check
Checked 2 hours, 41 minutes ago
Static Analysis
| Metric | Score | Rating |
|---|---|---|
| Schema Completeness | 30 | Poor |
| Description Quality | 75 | Good |
| Documentation Coverage | 32 | Poor |
| Maintenance Pulse | 45 | Fair |
| Dependency Health | — | Poor |
| License Clarity | — | Poor |
| Version Hygiene | — | Poor |
Analyzed 7 months, 2 weeks ago
Protocol Compliance
Probed 7 months, 2 weeks ago
Add this to your README to display your MCP Scoreboard grade:
