$ timeahead.in
/servers/blog/about
/ servers/github/Aristotle MCP Server
github

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.

github ↗
☆ Watch this server⚡ Compare⚑ Claim listing
0critical
▣ Score BreakdownMCPScore = Σ(raw × weight)
DimensionRawWeighted
Security
35%
0
0.0
Freshness
25%
0
0.0
Adoption
20%
0
0.0
Quality
10%
0
0.0
Trust
10%
0
0.0
Total
0.0
⚙ Install config
Source-only — no published npm / pypi package detected.
Clone and follow the build instructions in the repo: github.com/septract/lean-aristotle-mcp
⛁ Raw data
weekly downloads0
github stars0
forks0
open issues0
license✗ missing
readme length0 chars
last updated10d ago
owner of this server? claim your listing to get a verified badgeclaim →
🔔 Score drop alerts
get notified by email when this server's score drops 5+ points
Aristotle MCP Server — MCP Score: 0/100 | MCPScore | Timeahead