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 13 6mo ago A
tokens not measured
original MIT
13Stars on the repository
2Mods indexed here, across every type
6mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown