Le descrizioni degli strumenti sono in inglese.
Agent-Proof — scheda e storico dello strumento
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.
- Linguaggio
- TypeScript
- Licenza
- MIT
- Creazione
- Ultima attività
- Argomenti
- 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
Installa git clone https://github.com/Heretek-AI/Agent-Proof ~/.claude/skills/Agent-Proof
Misurazione attuale
Momentum uses available readings from the last 7 days: measured with at least two comparable readings, estimated otherwise.
Storico delle rilevazioni
| Data | Valore | Metrica |
|---|---|---|
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 1 | stelle GitHub | |
| 0 | stelle GitHub | |
| 0 | stelle GitHub | |
| 0 | stelle GitHub | |
| 0 | stelle GitHub | |
| 0 | stelle GitHub | |
| 0 | stelle GitHub | |
| 0 | stelle GitHub | |
| 0 | stelle GitHub |
Classificazioni
- Ambiti
- Tipo
- Skill per agenti
- Utilizzi