isnad: Instructions file for Codex

AGENTS.md

isnad AGENTS.md is an instructions file for Codex, OpenCode from alizahidraja/isnad. It costs 207 tokens per session, scanned A, original, Apache-2.0.

A repository instruction set for agents working on a project that traces claims through agents, scrapers, and models. It sets rules for approvals, files, generated numbers, version changes, and publishing.

In plain words
What is it for?
Use it to guide safe changes, show diffs after edits, preserve generated results, and control releases in an evidence-tracking codebase.
Why use it?
It prevents an agent from editing without approval, changing published results by hand, weakening limitations, or accidentally moving unrelated files. It also distinguishes producing evidence from certifying compliance.

Instructions file for CodexOpenCode

Written for Codex and OpenCode: the file is AGENTS.md.

This is alizahidraja/isnad's own configuration. It tells Codex and OpenCode how to work on isnad 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 isnad configures →

Reuse

Borrowing it

Nothing to install: this file belongs to alizahidraja/isnad. 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/alizahidraja/isnad/main/AGENTS.md
Clone the repo
git clone --depth 1 https://github.com/alizahidraja/isnad

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 isnad AGENTS.md

README.md
[![agentmods](https://agentmods.dev/badge/instructions/alizahidraja/isnad/agents-md/github.svg)](https://agentmods.dev/instructions/alizahidraja/isnad/agents-md)
Your own site
<a href="https://agentmods.dev/instructions/alizahidraja/isnad/agents-md"><img src="https://agentmods.dev/badge/instructions/alizahidraja/isnad/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 isnad AGENTS.md

Your own site · 80×15
<a href="https://agentmods.dev/instructions/alizahidraja/isnad/agents-md"><img src="https://agentmods.dev/badge/instructions/alizahidraja/isnad/agents-md.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 207 This file is loaded in full into every session.
When invoked 207 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.00207 $0.00207
Opus 5.5 $0.00083 $0.00083
Sonnet 5.5 $0.00041 $0.00041
Haiku 4.5 $0.00021 $0.00021

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

Security

Grade A, and why

isnad 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 · 13 lines

What it actually says

Rules for AI agents working in this repo

  • The maintainer approves every change before it's made. Propose first; don't act on your own.
  • No new files (docs, reports, plans, notes) unless the maintainer asks for that file.
  • No emoji. No self-describing adjectives (honest, rigorous, robust, powerful).
  • No issue numbers or paper section references in code comments or docstrings.
  • Never claim conformity or compliance with any regulation or standard. ISNAD produces evidence; it doesn't certify.
  • Never edit a published number by hand. Numbers come from committed results files and are regenerated by script.
  • Never weaken or remove a stated limitation without the maintainer's approval.
  • Don't use review panels or personas to generate content.
  • Keep public names stable. Deprecate before removing, and only in a major version.
  • Show the git diff after every edit and confirm nothing outside the requested change moved.
  • Merging to main publishes a release. Only the maintainer merges.
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 · 13 lines · 207 tokens per session scan A 2f16d8685842

Subscribe to this mod's changes

isnad AGENTS.md is an instructions file published in the GitHub repository alizahidraja/isnad (53 stars, last pushed 10d ago), licensed Apache-2.0. It adds 207 tokens to every session, about $0.0008 per session on Opus 5.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-10-28.

Related

isnad AGENTS.md compared with instructions from other repositories

isnad AGENTS.md next to 6 instructions from other repositories
ModTypeStarsLast pushLicenceScanTokensWorks with
isnad AGENTS.mdalizahidraja/isnadInstructions file5310d agoApache-2.0A207Codex, OpenCode
vscode buildNext.instructions.mdmicrosoft/vscodeInstructions file195kyesterdayMITA9,719GitHub Copilot
next.js AGENTS.mdvercel/next.jsInstructions file143kyesterdayMITA7,461Codex, OpenCode
langchain AGENTS.mdlangchain-ai/langchainInstructions file149kyesterdayMITA4,680Codex, OpenCode
vscode oss-third-party-notices.instructions.mdmicrosoft/vscodeInstructions file195kyesterdayMITA5,516GitHub Copilot
vscode copilot-instructions.mdmicrosoft/vscodeInstructions file195kyesterdayMITA3,093GitHub Copilot
deepseek-harness AGENTS.mddeepseek-ai/deepseek-harnessInstructions file274k2d agoMITA4,313Codex, OpenCode