Agent-Proof — fiche et historique
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.
- Langage
- TypeScript
- Licence
- MIT
- Création
- Dernière activité
- 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
Installer git clone https://github.com/Heretek-AI/Agent-Proof ~/.claude/skills/Agent-Proof
Mesure actuelle
1étoiles GitHub+1
progression mesuréeLe momentum utilise les relevés disponibles des 7 derniers jours : mesuré avec au moins deux relevés comparables, estimé sinon.
Historique des relevés
| Date | Valeur | Métrique |
|---|---|---|
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 1 | étoiles GitHub | |
| 0 | étoiles GitHub | |
| 0 | étoiles GitHub | |
| 0 | étoiles GitHub | |
| 0 | étoiles GitHub | |
| 0 | étoiles GitHub | |
| 0 | étoiles GitHub | |
| 0 | étoiles GitHub | |
| 0 | étoiles GitHub |
Classements
- Domaines
- Type
- Skills pour agents
- Usages