septract — 5 mods

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

MCP server Claude CodeCodexCursor +2

MCP server "aristotle-mcp" as configured in septract/lean-aristotle-mcp. Runs locally from the aristotle-mcp Python package.

13 6mo ago A tokens not measured original MIT

Instructions file

Claude Code instructions for septract/lean-c-semantics, covering lean c semantics, architecture, pipeline, key components and project structure.

5 1mo ago A 4,367 tokens

Instructions file

Instructions for septract/acl2-mcp, covering claude.md, project overview, architecture, core components and execution modes.

5 11mo ago A 986 tokens original BSD-3-Clause

MCP server Claude CodeCodexCursor +2

MCP server "acl2-mcp" as configured in septract/acl2-mcp. Runs locally from the acl2-mcp Python package.

5 11mo ago A tokens not measured original BSD-3-Clause