6 tagged code verification, measured the same way as everything else here.
Instructions file
Instructions for aretta-ai/aristo, covering claude.md — aristo working agreement, §1. commit size — small or medium only, §2. commit messages — semantic / conventional, §3. changelog.md — one line per commit, in the same commit and §4. test-first — no test, no claim of correctness.
Instructions file CodexOpenCode
Instructions for krokoko/cairn, covering cairn, repository layout, before changing plugins and size limits.
Instructions file
Instructions for krokoko/cairn: See AGENTS.md for repository layout and development workflow.
Instructions file CodexOpenCode
Project-specific instructions for Anchorlaw, a language-independent protocol for checking whether software claims can be verified. They describe required session setup, testing, and the project's Judge-led development process.
Instructions file
Instructions for jhlee0409/elenchus-mcp, covering claude.md, project overview, build & development, architecture and core flow.
cagdasyurekli/codex-agy-worker
Instructions file CodexOpenCode
Instructions for cagdasyurekli/codex-agy-worker, covering agents.md — codex-agy-worker, product purpose, quality and boundaries, workflow and implementation guidance and repository ownership and verification.