← Coding agents & IDE assistants
h5i
An agent-native web security workspace. Find vulnerabilities through red-teaming. Formally verify properties of Rust codes in Lean 4.
Ranked by AgentPick Score, our data score from public GitHub activity. Description is the project's own.
Topics: agentic-ai, agentic-workflow, ai-hacking, ai-safety, ai-security, browser-automation, bug-bounty, claude-code, ctf, ethical-hacking, formal-verification, hacking
Starter prompt
Using h5i, in a throwaway branch: add a unit test for [function] covering [edge case]. Don't change production code. Show me the diff and the test output.
More in Coding agents & IDE assistants
Open Interpreter →
A coding agent for open models like Kimi K3 and GLM 5.3
oh-my-pi →
⌥ Coding agent with the IDE wired in. Built by Stencil Labs.
Hermes Agent →
The agent that grows with you
Codewhale →
Open-source Rust agent engine and terminal client for Codewhale, with provider choice, tools, approvals and re…
Qwen Code →
An open-source AI coding agent that lives in your terminal.
DeepSeek-Reasonix →
A reliable coding agent for complex software engineering tasks.
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.