IMPORTANT — Read AGENTS.md first. It is the canonical
AI-instruction file for this repository. Cursor, OpenCode, Claude Code, and
other coding agents all read AGENTS.md; keeping project guidance there
avoids drift.
All substantive project guidance — overview, build commands, architecture,
Rocq formal verification, Mythos bug-hunt pipeline, release process, key
files — lives in AGENTS.md. Do not duplicate it here.
Currently none. Add Claude-Code-only settings (hook configurations, skill invocations, etc.) below this line if and when they diverge from the cross-tool guidance.