Proofloop — tool profile and history
Proof-driven Claude/Codex agent loop with paired execution, persistent resume, and adversarial security/performance gates.
- Language
- TypeScript
- License
- MIT
- Created
- Last activity
- Topics
- agent-workflow
- ai
- ai-agents
- ai-tools
- bun
- claude-skills
- cli
- codex
- codex-skill
- developer-tools
- pair-programming
Install git clone https://github.com/Eldergenix/Proofloop ~/.claude/skills/Proofloop
Current measurement
41GitHub stars-2 (-4.7 %)
measured growthMomentum uses available readings from the last 7 days: measured with at least two comparable readings, estimated otherwise.
Reading history
| Date | Value | Metric |
|---|---|---|
| 41 | GitHub stars | |
| 43 | GitHub stars | |
| 43 | GitHub stars | |
| 43 | GitHub stars | |
| 43 | GitHub stars | |
| 43 | GitHub stars | |
| 43 | GitHub stars | |
| 43 | GitHub stars | |
| 44 | GitHub stars | |
| 44 | GitHub stars | |
| 43 | GitHub stars | |
| 43 | GitHub stars | |
| 43 | GitHub stars | |
| 44 | GitHub stars | |
| 44 | GitHub stars | |
| 44 | GitHub stars | |
| 44 | GitHub stars | |
| 44 | GitHub stars | |
| 46 | GitHub stars | |
| 52 | GitHub stars | |
| 52 | GitHub stars | |
| 53 | GitHub stars |
Classifications
- Domains
- Type
- Agent skills
- Use cases
Neighbouring tools
These entries declare the same topics. No similarity is inferred: only the shared topics are stated.