Getting it into your agent
One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.
npx agentmods add instructions/heretek-ai/agent-proof/agents-mdgit clone --depth 1 https://github.com/Heretek-AI/Agent-ProofWhat 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.
| Model | Per session | Once invoked |
|---|---|---|
| Fable 5 | $0.02653 | $0.02653 |
| Opus 5 | $0.01326 | $0.01326 |
| Sonnet 5 | $0.00531 | $0.00531 |
| Haiku 4.5 | $0.00265 | $0.00265 |
Grade B, and why
Agent-Proof AGENTS.md scanned grade B with 1 finding 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 2d 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.
Asks for rootmediumPrivilege escalation
A mod that escalates privileges can change anything on the machine, not only the project.
- Governance files are intentionally locked with read-only permissions (`chmod 0444`). Do not attempt to overwrite or change their permissions unless explicitly instructed by a human administrator. How it starts
The opening of the file, as written. The whole thing — 175 lines — stays where its author put it; the contents beside it link to each section on GitHub.
AGENTS.md — Multi-Agent Development & Mechanical Governance Protocol
Welcome to Agent-Proof (@heretek-ai/agent-proof). This document establishes the multi-agent operational standards, mechanical hard-gate execution rules, and architecture guidelines for autonomous AI coding agents operating within this repository.
🎯 Primary Directives for AI Agents
-
Deterministic Mechanical Governance Over Soft Prompts:
- Never attempt to bypass, disable, or modify mechanical hard gates (
lefthook.yml,.claude/hooks.json,biome.json,ruff.toml,.aislop/config.yml). - Governance files are intentionally locked with read-only permissions (
chmod 0444). Do not attempt to overwrite or change their permissions unless explicitly instructed by a human administrator. - Never bypass git hooks with
git commit --no-verify. All commits must pass mechanical pre-commit validation in< 2.0s.
- Never attempt to bypass, disable, or modify mechanical hard gates (
-
Proof-Loop Role Separation & Specification Freezing:
- When acting in the
Builderrole, all test suites (tests/**,__tests__/**), specifications (spec.md), and acceptance criteria are frozen. - Modifying test assertions to force failing code to pass is strictly blocked by
ByteFencewithSPEC_TEST_FROZEN.
- When acting in the
-
Zero-Tolerance for AI Slop & Unsafe Casting:
- No Empty Catch Blocks / Swallowed Errors: Always handle exceptions explicitly, log with context, rethrow with cause (
new Error(msg, { cause: err })), or return explicit typed failure results. - Strict Type Safety: Avoid
as anyor unchecked type assertions. Use TypeScript type guards, interfaces, or validated schemas (e.g. Zod). - No Hallucinated Imports: Only import from installed packages declared in
package.json/pyproject.tomlor verified relative paths within the project. - Clean ASTs & Formatting: Ensure code adheres to Biome / Ruff formatting standards without lint violations or dead code.
- No Empty Catch Blocks / Swallowed Errors: Always handle exceptions explicitly, log with context, rethrow with cause (
-
Strict Suppression Hygiene Protocol:
- Never insert blind suppression comments (
// @ts-ignore,// @ts-nocheck,# noqa,// biome-ignore,// eslint-disable) to bypass mechanical gates. - Newly introduced suppression comments without documented human rationale will trigger blocking Severity 1 failures (
AI_SLOP_UNAUTHORIZED_SUPPRESSION).
- Never insert blind suppression comments (
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.
- 2d ago First seen · 175 lines · 2,653 tokens per session scan B 86769aac646e
Agent-Proof AGENTS.md is an instructions file published in the GitHub repository Heretek-AI/Agent-Proof (1 stars, last pushed 12d ago), licensed MIT. It adds 2,653 tokens to every session, about $0.0133 per session on Opus 5. A static security scan graded it B with 1 finding (asks for root). No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-31.
Other instructions, from other repositories
toh-framework CLAUDE.md
Instructions for wasintoh/toh-framework, covering claude.md — toh framework (repo development guide), what this is, everyday commands, verification protocol and single source, transformed per ide.
awesome-copilot-id AGENTS.md
Instructions for GulajavaMinistudio/awesome-copilot-id, covering communication, explanation and documentation, markdown formatting, user communication style and workflow & methodology.
codevira CLAUDE.md
Instructions for sachinshelke/codevira, covering codevira — persistent project memory, when to call which codevira tool, at the start of every session, before modifying any file and before adopting a pattern, library, or naming convention.
agent-skills AGENTS.md
AGENTS.md instructions for racastellanosm/agent-skills, covering agents.md, 1. vision & architectural invariants, 2. repository architecture & layout, 3. harness support & installation paths and 4. scripting & tooling guardrails.
everything-gemini-code GEMINI.md
Instructions for Jamkris/everything-gemini-code, covering project instructions, prompt defense baseline and guidelines.
ZipAI CLAUDE.md
Claude Code instructions for nickdesi/ZipAI, covering claude.md — zipai: ultra-dense token optimizer, rules, 1. zero filler, 2. ambiguity and 3. prompt caching.