Latest release android-demo-v0.1 — PQ1 Demo (Android) 0.1 · 29 Oct 2026
3 files for Claude Code, Codex and OpenCode: lean-prover, PQ1 AGENTS.md, PQ1 CLAUDE.md — 28,369 tokens loaded in every session.
AGENTS.md A 1,423 tok CLAUDE.md A 26,946 tok .claude/agents/lean-prover.md A 147 tok 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.