Instructions file
Instructions for septract/lean-aristotle-mcp, covering claude.md, code quality rules, project overview, build system and setup.
13 6mo ago A 1,225 tokens
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