—
/100
Partial
○ Unscored 1⁄3
Formath MCP
Enables extraction of mathematical content from TeX papers and conversion to Lean code through a structured intermediate representation. Supports project scaffolding, entity management, and task tracking for mathematical formalization workflows.
Glama
Unscored visibility
— 1/3 applicable dimensions scored
○ Schema Quality
— Protocol
— Reliability
○ Docs & Maintenance
✓ Security Hygiene
— Schema Interpretability
Schema Quality
—
42% weight
Protocol Compliance
N/A
Local server
Reliability
N/A
Local server
Docs & Maintenance
—
25% weight
Security Hygiene
95
33% weight
Score History
Category Trends
Add this to your README to display your MCP Scoreboard grade:
