Heretek-AI/Agent-Proof

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.

1Stars on the repository

3Mods indexed here, across every type

12d agoLast push, which is what freshness is scored on

MITLicence, which decides whether bodies are shown

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 3 mods

Agent-Proof AGENTS.md

Heretek-AI/Agent-Proof

Instructions file CodexOpenCode

AGENTS.md instructions for Heretek-AI/Agent-Proof, covering 🎯 primary directives for ai agents, 🏗️ 3-tier mechanical gate architecture, 📂 repository architecture & key directories, 🛠️ common cli & development commands and build typescript bundles into dist/.

1 12d ago B 2,653 tokens original MIT

Agent-Proof CLAUDE.md

Heretek-AI/Agent-Proof

Instructions file

Claude Code instructions for Heretek-AI/Agent-Proof, covering claude.md — claude code guidelines for agent-proof, 🚀 quick reference commands, build the project (tsup bundles to dist/), run strict typescript type checks and run real-world sandbox verification script.

1 12d ago D 1,031 tokens original MIT

Agent-Proof GEMINI.md

Heretek-AI/Agent-Proof

Instructions file Gemini CLI

Gemini CLI instructions for Heretek-AI/Agent-Proof, covering gemini.md — google gemini & antigravity assistant guide, 🛠️ project ecosystem & stack, 📋 core development workflows, 1. build and typecheck and build cjs, esm, and .d.ts declarations into dist/.

1 12d ago B 1,336 tokens original MIT