|
RunBoth: find out what your refactor actually changed
RunBoth runs both versions of your code on generated inputs and reports what actually behaves differently, including the functions nobody touched. A commit g...
|
85 % |
|
|
82 % |
|
Margyn: audit your test suite and prove which checks are hollow
Margyn finds tests that assert nothing, files git never committed and gates nothing invokes, then ships a command that reproduces every finding. Free CLI, $8...
|
82 % |
|
flowgate — Guardrails for AI coding agents that actually hold
Your AI coding agent deployed before tests and approved before review, and a longer prompt didn't fix it. flowgate puts agents on a state machine they can't...
|
82 % |
|
Mergestro — know what a change breaks before it merges
Mergestro Gate mutates the code you changed and checks whether your suite notices — free, Apache-2.0, one line in your CI. Mergestro Queue derives your compo...
|
82 % |
|
Plumb — proof that a story is done
Plumb proves a requirement is actually implemented: a test cited it, that test passed, and its execution reached the wired system.
|
82 % |
|
Corund — gate-integrity for AI-generated code
Corund is a merge check that proves an AI agent's tests can fail: it reverts the change and requires the new tests to go red, restores it and requires green.
|
82 % |
|
AI Testing Agent & Automation Platform | TestSprite
You changed the code — did anything break? TestSprite is an agentic testing tool that writes end-to-end tests, runs them on your live app after every change,...
|
81 % |
|
Aura — See what your AI coding agents actually changed
Aura proves your coding agents built what you asked and explains every change in plain words. Trust code you didn't write. Works with Claude Code.
|
81 % |
|
agent-delivery-gates: proof obligations for an AI coding agent's delivery report
Proof obligations for an AI coding agent's delivery report. A green test run and a green run over checks that cannot fail look the same from outside, and onl...
|
81 % |
|
tolerance
Your coding agent builds a game or a site, you upload it: the platform scores it and everyone plays and votes.
|
80 % |
|
Legacy Code
Notes from a developer who isn't deprecated yet.
|
80 % |
|
Reticle · Make your coding agent verify its own work
Make your coding agent verify its own work, and not by asking it. Reticle is AI app testing that runs inside your app: it walks the flow the way a user would...
|
80 % |
|
Scyllus: AI-assisted coding screens and a free tech job board
Scyllus runs AI-assisted coding screens on real work and keeps the full record, so hiring teams read proof instead of resumes. Plus a free board of 1,432 tec...
|
80 % |
|
remit.sh
The intent layer for AI agents. Remit gives every agent session a declared scope and checks every tool call against it — so off-task work can't reach what it...
|
80 % |
|
runhmd — AI writes it. runhmd proves it.
runhmd is a verification layer for AI coding agents. AI writes it; runhmd tries to break it and says PROVEN only if it survives, otherwise DENIED with the ca...
|
80 % |
|
runhmd — AI writes it. runhmd proves it.
runhmd is a verification layer for AI coding agents. AI writes it; runhmd tries to break it and says PROVEN only if it survives, otherwise DENIED with the ca...
|
80 % |
|
Tiden · Intent verification for coding agents
Tiden verifies that your coding agents built what you actually asked for. It captures that intent as specs, versioned like code, and checks every change agai...
|
80 % |
|
The app that comes after your vibe-coded app
Fledgeling rebuilds vibe-coded prototypes into production software. An honest ledger of what your codebase actually proves, then a gated rebuild graded by a...
|
80 % |
|
RUNOUT — understand the code your agent shipped
Your coding agent opens more pull requests than you can read. RUNOUT turns each one into five sharp questions about the change — for you, and for the teammat...
|
80 % |
Detected social media networks