MCP server Claude CodeCodexCursor +2
MCP server "aristotle-mcp" as configured in septract/lean-aristotle-mcp. Runs locally from the aristotle-mcp Python package.
not rated 15 7mo ago A
tokens not measured
original MIT
15Stars on the repository
2Mods indexed here, across every type
7mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown