Agent-Proof — tool profile and history

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.

Active

Canonical source ↗

Language
TypeScript
License
MIT
Created
Last activity
Topics
  • 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

Install git clone https://github.com/Heretek-AI/Agent-Proof ~/.claude/skills/Agent-Proof

Current measurement

1GitHub stars+1
measured growth

Momentum uses available readings from the last 7 days: measured with at least two comparable readings, estimated otherwise.

Reading history

90 days · 90 maximum readings
DateValueMetric
1GitHub stars
1GitHub stars
1GitHub stars
0GitHub stars
0GitHub stars
0GitHub stars
0GitHub stars
0GitHub stars
0GitHub stars
0GitHub stars
0GitHub stars

Classifications

Domains
Type
Agent skills
Use cases