These files are EthereumPhone/PQ1's own configuration. They tell Claude Code, Codex and OpenCode how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.
AGENTS.md A 1,208 tok CLAUDE.md A 14,786 tok .claude/agents/lean-prover.md A 147 tok