60
/100
C
◉ Complete 5⁄5
Aristotle MCP Server
Enables LLMs to prove theorems in Lean and formalize mathematical problems using the Aristotle API, supporting both formal Lean code and natural language problem submissions.
Glama
Complete visibility
— 5/5 applicable dimensions scored
✓ Schema Quality
✓ Protocol
— Reliability
✓ Docs & Maintenance
✓ Security Hygiene
✓ Schema Interpretability
Schema Quality
68
25% weight
Protocol Compliance
28
20% weight
Reliability
—
20% weight
Docs & Maintenance
27
15% weight
Security Hygiene
81
20% weight
Schema Interpretability
91
15% weight
Score History
Category Trends
30-Day Uptime
30 days ago
Today
Static Analysis
| Metric | Score | Rating |
|---|---|---|
| Schema Completeness | 60 | Fair |
| Description Quality | 80 | Good |
| Documentation Coverage | 30 | Poor |
| Maintenance Pulse | 35 | Poor |
| Dependency Health | 55 | Fair |
| License Clarity | — | Poor |
| Version Hygiene | — | Poor |
Analyzed 1 month, 1 week ago
Add this to your README to display your MCP Scoreboard grade:
