agentmods.dev

Agent-Proof CLAUDE.md

Agent-Proof CLAUDE.md is an instructions file for coding agents from Heretek-AI/Agent-Proof. It costs 1,031 tokens per session, scanned D, original, MIT.

A set of instructions for Claude Code work on the Agent-Proof project, including commands for building, testing, type-checking, and verifying the project in real repositories.

In plain words
What is it for?
Use it when working on Agent-Proof to run its build, tests, strict TypeScript checks, command-line checks, and real-repository verification.
Why use it?
It gives coding sessions a shared checklist for common project tasks and verification steps.

Instructions file

1 13d ago D scan 1,031 tokens original MIT
View the source file Heretek-AI/Agent-Proof
Install

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.

agentmods
npx agentmods add instructions/heretek-ai/agent-proof/claude-md
Clone the repo
git clone --depth 1 https://github.com/Heretek-AI/Agent-Proof
Per session 1,031 This file is loaded in full into every session.
When invoked 1,031 The same file — it is already loaded in full.
Security scan D 3 findings. Scan, not verified.
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 $0.01031 $0.01031
Opus 5 $0.00515 $0.00515
Sonnet 5 $0.00206 $0.00206
Haiku 4.5 $0.00103 $0.00103

Measured 3d ago against content hash d5b10e0c4f1f, method: parsed. Prices are Anthropic first-party input rates as of 2026-08-30, from the pricing page.

Security

Grade D, and why

Agent-Proof CLAUDE.md scanned grade D with 3 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 3d 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.

- Sets up `.git/hooks/pre-commit` and locks governance files to read-only (`chmod 0444`).

Downloads and executes remote codehighSupply chain

curl | sh runs whatever the server returns today, which is not necessarily what it returned when this was reviewed.

- Scrubs shell command injections (`curl | sh`, `npx`, `sudo`) from external logs and MCP outputs (Agentjacking defense).

Makes network callslowCapability

Not a fault in itself. Listed so you know the mod talks to something, and to what.

- Scrubs shell command injections (`curl | sh`, `npx`, `sudo`) from external logs and MCP outputs (Agentjacking defense).
CLAUDE.md · 95 lines

How it starts

The opening of the file, as written. The whole thing — 95 lines — stays where its author put it; the contents beside it link to each section on GitHub.

CLAUDE.md — Claude Code Guidelines for Agent-Proof

This guide provides instructions and reference material for Claude Code sessions working on @heretek-ai/agent-proof.

🚀 Quick Reference Commands

# Build the project (tsup bundles to dist/)
npm run build

# Run unit and integration tests (Vitest, 16 suites, 86 tests)
npm test

# Run strict TypeScript type checks
npm run typecheck

# Run real-world sandbox verification script
npm run test:real-repo

# Run polyglot GitHub matrix verification across 5 real-world repositories
npm run test:matrix

# Run oneshot 5-issue real-world Drop verification
npm run test:e2e-5-issues

# Run full automated E2E test against Heretek-AI/drop
npm run test:e2e-drop

# Test CLI locally
node bin/agent-proof.js --version
node bin/agent-proof.js init
node bin/agent-proof.js detect
node bin/agent-proof.js freeze
node bin/agent-proof.js unfreeze
node bin/agent-proof.js attest
node bin/agent-proof.js run pre-commit --sarif
node bin/agent-proof.js status

🏗️ Architecture & Component Overview

Agent-Proof is structured into modular components:

  1. Stack Detector (src/detector/stackDetector.ts):
    • Inspects target repository indicators (JS/TS, Python, Go, Rust, C/C++, C#, Java, Ruby, Elixir, GitHub Workflows, Docker, Terraform, Kubernetes, Claude Agent Harness, Tach, AST-Grep).
  2. Config Generator (src/generator/configGenerator.ts):
    • Generates lefthook.yml, .claude/hooks.json, biome.json, ruff.toml, and .aislop/config.yml.
  3. ByteFence Pre-Write Broker & Spec Freezer (src/broker/byteFence.ts):
    • Mediates atomic file writes, validates preimage SHA-256 digests, and freezes test directories against Builder modifications (SPEC_TEST_FROZEN).
  4. LSPSanitizer (src/sanitizer/lspSanitizer.ts):
    • Scrubs shell command injections (curl | sh, npx, sudo) from external logs and MCP outputs (Agentjacking defense).
  5. Diagnostic & SARIF Streamer (src/formatter/):
    • Converts raw stderr/stdout from 11 tools into standard LSP envelopes or SARIF v2.1.0 logs with exact replacement fix regions.
  6. Provenance Engine (src/attestation/provenance.ts):
    • Signs in-toto attestation receipts using ephemeral Ed25519 keypairs.
  7. Loop Breaker (src/runner/loopBreaker.ts):
    • Tripwires a hard halt after $\ge 3$ consecutive identical failure iterations.
  8. Hook Installer & Lock-in (src/installer/):
    • Sets up .git/hooks/pre-commit and locks governance files to read-only (chmod 0444).

Read the full file on GitHub · 95 lines

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. 3d ago First seen · 95 lines · 1,031 tokens per session scan D d5b10e0c4f1f

Subscribe to this mod's changes

Agent-Proof CLAUDE.md is an instructions file published in the GitHub repository Heretek-AI/Agent-Proof (1 stars, last pushed 13d ago), licensed MIT. It adds 1,031 tokens to every session, about $0.0052 per session on Opus 5. A static security scan graded it D with 3 findings (asks for root, downloads and executes remote code, makes network calls). No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-31.

antigravityast-grepbiomeclaude-codepre-commitruff
Related

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.

wasintoh/toh-framework · 3,818 tokens

awesome-copilot-id AGENTS.md

Instructions for GulajavaMinistudio/awesome-copilot-id, covering communication, explanation and documentation, markdown formatting, user communication style and workflow & methodology.

GulajavaMinistudio/awesome-copilot-id · 7,686 tokens

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.

sachinshelke/codevira · 2,807 tokens

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.

racastellanosm/agent-skills · 2,799 tokens

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.

nickdesi/ZipAI · 1,204 tokens

tanstack-start-template AGENTS.md

AGENTS.md instructions for dyeoman2/tanstack-start-template, covering tanstack start agent guide, core philosophy, architecture, golden rules and key patterns.

dyeoman2/tanstack-start-template · 2,686 tokens