Skill Claude CodeCodex
Read-only inventory and sanity audit of the behavioral specs defined in this repo (entities, rules, invariants, scenarios). Runs in an isolated forked context so it doesn't fill the main conversation. Use when asked to review, inventory, or sanity-check the spec definitions.
MCP server Claude CodeCodexCursor +2
MCP server "lisp-tools" as configured in jsulmont/mcp-lisp. Launched with sbcl --noinform --load ${MCP_LISP_HOME:-/Users/jan/dev/mcp-lisp}/etc/spec-server. Needs 1 environment variable to run.
Instructions file
Claude Code instructions for jsulmont/mcp-lisp, covering mcp-lisp — project guide, build & test, lisp conventions, testing conventions and spec-first workflow.