agent-done-or-not: Instructions file for Codex

AGENTS.md

agent-done-or-not AGENTS.md is an instructions file for Codex, OpenCode from mohamedzhioua/agent-done-or-not. It costs 309 tokens per session, scanned A, original, MIT.

Repository instructions requiring a proof gate before claiming that work is complete. The gate records the verification command, its result, and a SHA-256 fingerprint of its output, while claim markers link completion statements to that receipt.

In plain words
What is it for?
Use it whenever you need to report a task as finished in the repository. Run the required command through done-gate.sh, fix failures, and include the matching claim marker in the final summary.
Why use it?
It prevents an agent from reporting success without a passing verification record and makes completion claims auditable.

Instructions file for CodexOpenCode

Written for Codex and OpenCode: the file is AGENTS.md. Also seen: mentions AGENTS.md; mentions Codex.

This is mohamedzhioua/agent-done-or-not's own configuration. It tells Codex and OpenCode how to work on agent-done-or-not itself, so it is not a mod to install elsewhere. Copy it as a starting point and replace the rules that are about this project. Everything agent-done-or-not configures →

Reuse

Borrowing it

Nothing to install: this file belongs to mohamedzhioua/agent-done-or-not. Take a copy, put it at the same path in your own repository, and replace the rules that are about this project with yours.

Copy the file
curl -O https://raw.githubusercontent.com/mohamedzhioua/agent-done-or-not/main/AGENTS.md
Clone the repo
git clone --depth 1 https://github.com/mohamedzhioua/agent-done-or-not

Made for: Codex, OpenCode.

Wrote this? Show the measurements

A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.

agentmods badge for agent-done-or-not AGENTS.md

README.md
[![agentmods](https://agentmods.dev/badge/instructions/mohamedzhioua/agent-done-or-not/agents-md/github.svg)](https://agentmods.dev/instructions/mohamedzhioua/agent-done-or-not/agents-md)
Your own site
<a href="https://agentmods.dev/instructions/mohamedzhioua/agent-done-or-not/agents-md"><img src="https://agentmods.dev/badge/instructions/mohamedzhioua/agent-done-or-not/agents-md/github.svg" alt="Measured on agentmods" height="20"></a>

Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.

agentmods 80×15 button for agent-done-or-not AGENTS.md

Your own site · 80×15
<a href="https://agentmods.dev/instructions/mohamedzhioua/agent-done-or-not/agents-md"><img src="https://agentmods.dev/badge/instructions/mohamedzhioua/agent-done-or-not/agents-md.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 309 This file is loaded in full into every session.
When invoked 309 The same file — it is already loaded in full.
Security scan A 0 findings. A grade says what 26 rules found in the file — not that it is safe.
Origin original No closer match found in the catalogue.
Token cost

What it costs to keep this loaded

Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.

ModelPer sessionOnce invoked
Fable 5.1 $0.00309 $0.00309
Opus 5 $0.00154 $0.00154
Sonnet 5 $0.00062 $0.00062
Haiku 4.5 $0.00031 $0.00031

Measured 10d ago against content hash 24757d2fa269, method: parsed. Prices are Anthropic first-party input rates as of 2026-09-09, from the pricing page.

Security

Grade A, and why

agent-done-or-not AGENTS.md scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 10d ago.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Nothing flagged

None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.

AGENTS.md · 36 lines

What it actually says

Proof-of-Done Rule (agent-done-or-not)

Applies to any agent operating in this repo (Codex, and other harnesses that read AGENTS.md).

Before reporting a task complete, you MUST verify it through the proof gate. Claiming "done" without a passing receipt is not allowed.

  1. Run the verifying command through the gate:

    bash done-gate.sh capture --label check -- <your verifying command>
    

    It records the command, its exit code, and a SHA-256 of the output, and exits with the command's own code — so a failing check fails here.

  2. Only report completion after a PASSING receipt.

  3. If the check fails, fix the code and capture again. Never report success on a red check.

Claim markers (for audit)

When you assert a check passed, also emit a claim marker in your final summary so done-gate.sh audit can diff the claim against the receipt ledger:

<agent-done:claim label="test" exit="0" />

Use the same --label you passed to capture; omitting exit asserts a pass. An unbacked marker is caught by audit. Full contract and paste-ready instruction: docs/markers.md.

See examples/install.md for wiring a hard stop-gate where your harness supports stop/finish hooks.

Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

  1. 10d ago First seen · 36 lines · 309 tokens per session scan A 24757d2fa269

Subscribe to this mod's changes

agent-done-or-not AGENTS.md is an instructions file published in the GitHub repository mohamedzhioua/agent-done-or-not (6 stars, last pushed 1mo ago), licensed MIT. It adds 309 tokens to every session, about $0.0015 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-31.

Related

Other instructions, from other repositories

next.js AGENTS.md

AGENTS.md instructions for vercel/next.js, covering next.js development guide, codebase structure, monorepo overview, core package: packages/next and other important packages.

vercel/next.js · 7,296 tokens

codex AGENTS.md

AGENTS.md instructions for openai/codex, covering rust/codex-rs, the codex-core crate, code review rules, crate api surface and model visible context.

openai/codex · 5,153 tokens

vscode buildNext.instructions.md

Working notes and architecture documentation for the new esbuild-based build system in build/next. Use when making changes to the new build pipeline (transpile/bundle commands, NLS plugin, source-map handling, resource copying, or self-hosting watch tasks).

microsoft/vscode · 6,785 tokens

vscode oss-third-party-notices.instructions.md

Instructions for microsoft/vscode, covering vs code oss third-party-notices pipeline, architecture, pipeline flow in ci, applying the notice (cutover) and fallback chain (never fail the build).

microsoft/vscode · 5,001 tokens

langchain AGENTS.md

AGENTS.md instructions for langchain-ai/langchain, covering global development guidelines for the langchain monorepo, corridor security analysis, project architecture and context, monorepo structure and development tools & commands.

langchain-ai/langchain · 4,469 tokens

deepseek-harness AGENTS.md

AGENTS.md instructions for deepseek-ai/deepseek-harness, covering agents.md, pre-stable apis and released session data, repository layout, commands and host sandbox failures.

deepseek-ai/deepseek-harness · 3,735 tokens