Filter

Clear Filter

Archived Not Archived

Forked Not Forked

Mirrored Not Mirrored

Template Not Template

Private Public

Sort

Newest Oldest Alphabetically Reverse alphabetically Most recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks Smallest size Largest size

Heretek-AI/ Agent-Proof

TypeScript 0 0 0

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.

agent-gate agent-proof agentjacking-defense ai-governance aislop antigravity ast-grep biome bytefence claude-code cursor-rules developer-tools ed25519 in-toto lsp-diagnostics mechanical-gates pre-commit ruff sarif trufflehog

Updated 2026-09-09 22:12:19 +00:00