Deterministic zero-trust mechanical hard-gate CLI for autonomous AI coding agents (Claude Code, Antigravity, Cursor). ByteFence pre-write broker, LSPSanitizer Agentjacking defense, sub-50ms interceptors, sub-2.0s pre-commit gates, SARIF v2.1.0 repair tokens, and in-toto Ed25519 provenance.
3 files for Codex, OpenCode, Claude Code and Gemini CLI: Agent-Proof AGENTS.md, Agent-Proof CLAUDE.md, Agent-Proof GEMINI.md — 5,020 tokens loaded in every session.
AGENTS.md B 2,653 tok CLAUDE.md D 1,031 tok GEMINI.md B 1,336 tok These files are Heretek-AI/Agent-Proof's own configuration — they tell Codex, OpenCode, Claude Code and Gemini CLI 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.