59
/100
C
◐ Assessed 4⁄3
axle-mcp
Integrates the AXLE (Axiom Lean Engine) CLI with AI assistants to provide comprehensive tools for Lean 4 proof engineering. It enables users to validate, repair, and transform Lean theorems through a remote API without requiring a local Lean installation.
Glama
Assessed visibility
— 4/3 applicable dimensions scored
✓ Schema Quality
✓ Protocol
— Reliability
✓ Docs & Maintenance
✓ Security Hygiene
— Schema Interpretability
Schema Quality
66
42% weight
Protocol Compliance
N/A
Local server
Reliability
N/A
Local server
Docs & Maintenance
27
25% weight
Security Hygiene
95
33% weight
Score History
Category Trends
Static Analysis
| Metric | Score | Rating |
|---|---|---|
| Schema Completeness | 70 | Good |
| Description Quality | 60 | Fair |
| Documentation Coverage | 30 | Poor |
| Maintenance Pulse | 45 | Fair |
| Dependency Health | 30 | Poor |
| License Clarity | — | Poor |
| Version Hygiene | — | Poor |
Analyzed 1 month, 1 week ago
Add this to your README to display your MCP Scoreboard grade:
