Agent-Proof
SkillGitHubActiveTypeScript
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.
Description provenance: Original source
Measured: Oct 22, 2026 · 59 observations
Domains & Uses
- Domains
- Agents, skills and MCP
- Uses
- Agent skills, Code assistants
Installation
git clone https://github.com/Heretek-AI/Agent-Proof ~/.claude/skills/Agent-ProofCheck at the source
Compatibility and prerequisites must be checked in the official documentation.
https://github.com/Heretek-AI/Agent-ProofClassifications
- Nature
- Tool
Measurement history
Comparable readings are grouped by signal and unit.
Stars
1stars · Oct 22, 2026
+1since Aug 21, 2026
Exact values · 59 readings
| Measured | stars | Change |
|---|---|---|
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | 0 | |
| 1 | +1 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | 0 | |
| 0 | · |