septract — 5 mods

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

MCP server Claude CodeCodexCursor +2

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

not rated 5 1y ago A tokens not measured original BSD-3-Clause