← Use cases · Coding agents & IDE assistants
AI agent tools for ctf
Short answer: Our top pick for ctf: h5i, with the highest AgentPick Score (69/100) among tools tagged "ctf". Runners-up: pentest-ai (66) and reverify (56). Compare what each does, its license and how recently it was updated below.
| # | Tool | What it does | Score | Stars | License | Updated |
|---|---|---|---|---|---|---|
| #1 | h5i | An agent-native web security workspace. Find vulnerabilities through red-teaming. Formally verify properties of Rust codes in Lean 4. | 69/100 | ★ 777 | Apache-2.0 | 14 Oct 2026 |
| #2 | pentest-ai | Open-source AI pentester that proves every finding. Machine oracles re-run each exploit; verified bugs ship a proof capsule you can replay yourself. | 66/100 | ★ 1.7k | MIT | 9 Oct 2026 |
| #3 | reverify | Stop your AI from making things up — it proposes, deterministic tools decide, every claim checked against ground truth with evidence. Grounded facts a… | 56/100 | ★ 1.3k | MIT | 1 Oct 2026 |
| #4 | pentest-ai-agents | Turn Claude Code into your offensive security research assistant. Specialized AI subagents for authorized penetration testing plan engagements, analyz… | 55/100 | ★ 2.3k | MIT | 6 Oct 2026 |
| #5 | open-reverselab | Open-source AI reverse-engineering agent platform and MCP server for Ghidra, Frida, x64dbg and Rizin — automated PE/APK/binary analysis, CTF and malwa… | 51/100 | ★ 1.3k | GPL-3.0 | 29 Sept 2026 |
| #6 | Cairn | Cairn is a general-purpose AI state-space search engine, validated first on autonomous penetration testing. Sometimes misspelled as Carin. | 44/100 | ★ 3.6k | AGPL-3.0 | 7 Sept 2026 |
| #7 | ctf-skills | Agent skills for solving CTF challenges - web exploitation, binary pwn, crypto, reverse engineering, forensics, OSINT, and more | 40/100 | ★ 3.4k | MIT | 13 Sept 2026 |
| #8 | EVA | EVA is an AI-assisted penetration testing agent that enhances offensive security workflows by providing structured attack guidance, contextual analysi… | 20/100 | ★ 531 | See repo | 16 Jun 2026 |
Source: each project's public GitHub repository (description, stars, license, last push). Listed tools aren't tested or ranked by AgentPick.
How to choose
- Check which models and providers it supports.
- Prefer tools that show diffs and ask before running commands.
- Look for recent commits: coding agents change fast.
Get the best new agent tools every week. Free, with a verdict on each. Get the weekly digest
Related
AI agent tools for agent skills →
Coding agents & IDE assistants
AI agent tools for developer tools →
Coding agents & IDE assistants
AI agent tools for the terminal →
Coding agents & IDE assistants
AI agent tools for macOS →
Coding agents & IDE assistants
AI agent tools for agent harnesses →
Coding agents & IDE assistants
AI agent tools for agent orchestration →
Coding agents & IDE assistants
AgentPick Weekly
The week's new agent tools with a verdict on each, every week. Free. We'll email you a link to confirm, and you can unsubscribe any time. See our Privacy Policy.