—
/100
Unscored
○ Unscored 0⁄0
Aristotle MCP Server
An MCP server that wraps Aristotle's automated theorem prover for Lean 4, allowing AI assistants to fill in proofs, verify lemmas, and formalize natural language into Lean code.
Glama
Unscored visibility
— 0/0 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
—
33% weight
Add this to your README to display your MCP Scoreboard grade:
