acl2-mcp
01MCP 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
5Stars on the repository
2Mods indexed here, across every type
11mo agoLast push, which is what freshness is scored on
BSD-3-ClauseLicence, which decides whether bodies are shown