Product upvotes vs the next 3
Product comments vs the next 3
Product upvote speed vs the next 3
Product upvotes and comments
Product vs the next 3
Cerberus
Cursor for AI hacking that can't go out of scope
Cerberus is the world's first safe AI hacker. You can hack your entire app in plain English with a prompt "find vulnerabilities and exploit them in example.com". We also built the world's first AI hacker that's mathematically safe to run on production. It uses a new programming language where every hacking action must come with a mathematical proof that you authorized it — no proof, no action. Point it at your app, come back in 3-4 hours with a full security report.
Top comment
Hi Product Hunt, Short context first. For the past several years our team has run a penetration testing firm serving banks and enterprises, alongside doing research in theoretical computer science — specifically type theory and programming language design. When AI agents became viable, everyone saw the same opportunity we did: automate pentesting. And everyone ran into the same wall. AI hackers can be hacked themselves. A malicious website can contain a prompt injection that tricks the agent into attacking a completely unrelated target. Your authorized pentest suddenly becomes an unauthorized attack on someone else's system, which is a legal disaster. Worse, when these agents discover a vulnerability like RCE, they can delete a client's database, or do something significantly worse, because nothing prevents them from acting on the exploit. Most of these tools are GPT wrappers executing shell commands in a terminal. There's no real safety layer. That's unacceptable for production pentesting. A tool you can't trust is a tool you can't use. The moment things clicked for us was realizing our CS research actually solved this. Unsanctioned actions don't need to be caught at runtime with prompts and guardrails, which fail in practice. They can be prevented before the AI ever acts, using formal methods from programming language theory. So we built a new programming language specifically for ethical hacking. Every action expressible in it, a port scan, a payload, a network request, must carry a mathematical proof of what it's authorized to target and do. Before anything executes, the proof is checked. If the action falls outside the engagement scope — attacking a target you don't own, launching a DDoS, pivoting to an unrelated system — the code doesn't compile. Nothing runs. The AI writes code in this language. You interact with it in plain English. But the safety guarantee is mathematical, not behavioral. This is what lets us offer the first AI hacker you can actually point at production systems. $999/yr - full platform for security professionals Enterprise (from $60,000) - on-premise deployment with your own AI models You can get your free demo here: c7-security.com/cerberus Happy to answer anything in the comments: the type theory, the language design, how we handle edge cases, or how this compares to other AI pentest tools on the market.
About Cerberus on Product Hunt
“Cursor for AI hacking that can't go out of scope”
Cerberus launched on Product Hunt on April 17th, 2026 and earned 70 upvotes and 2 comments, placing #33 on the daily leaderboard. Cerberus is the world's first safe AI hacker. You can hack your entire app in plain English with a prompt "find vulnerabilities and exploit them in example.com". We also built the world's first AI hacker that's mathematically safe to run on production. It uses a new programming language where every hacking action must come with a mathematical proof that you authorized it — no proof, no action. Point it at your app, come back in 3-4 hours with a full security report.
On the analytics side, Cerberus competes within Tech and Security — topics that collectively have 624.1k followers on Product Hunt. The dashboard above tracks how Cerberus performed against the three products that launched closest to it on the same day.
Who hunted Cerberus?
Cerberus was hunted by Aziz Akhmedkhodjaev. A “hunter” on Product Hunt is the community member who submits a product to the platform — uploading the images, the link, and tagging the makers behind it. Hunters typically write the first comment explaining why a product is worth attention, and their followers are notified the moment they post. Around 79% of featured launches on Product Hunt are self-hunted by their makers, but a well-known hunter still acts as a signal of quality to the rest of the community. See the full all-time top hunters leaderboard to discover who is shaping the Product Hunt ecosystem.
For a complete overview of Cerberus including community comment highlights and product details, visit the product overview.