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
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