agentmods.dev

serein-nyx/codex-proof

Evidence-backed task contracts, verification, and handoffs for Codex.

2 files for Codex and OpenCode: codex-proof, codex-proof AGENTS.md — 163 tokens loaded in every session.

Open on GitHub
11Stars on the repository
2Files it configures its agents with
163Tokens loaded in every session
2Agents configured

Instructions

Skills

These files are serein-nyx/codex-proof's own configuration — they tell 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.