SPECSMITH
Writes the suite
Visible tests establish intent. Hidden properties search for the failures a happy-path suite misses.
VERIFIED, NOT JUST GENERATED
Describe it once.
Get verified code.
Zevron turns one sentence into multi-file Python — and actually tests it, not just generates it.
zevron · live verification
zevron ❯ zevron build "a todo cli with persistence and search"
⟶ foreman decomposed into 6 units
⟶ specsmith authoring tests (visible + hidden) · 6 suites
⟶ codewright generating candidates · n=3 · visible tests only
cli.parser T0 ✓ T1 ✓ T2 ✓ T3 ✓ mutation 0.86 trusted $0.04
store.sqlite T0 ✓ T1 ✓ T2 ✓ T3 ✓ mutation 0.91 trusted $0.06
task.model T0 ✓ T1 ✓ T2 ✓ T3 ✓ mutation 0.84 trusted $0.03
export.markdown T0 ✓ T1 ✓ T2 ✓ T3 ✓ mutation 0.88 trusted $0.04
search.index T0 ✓ T1 ✓ T2 … verifying $0.05
import.csv T0 ✓ T1 ✓ T2 ✗ not trusted → forge $0.02
5 / 6 trusted · held-out pass-rate 77% · spend $0.24
run zevron trust <unit> for evidence.
zevron ❯ zevron trust password.crypto
password.crypto // crypto · key derivation
funnel
T0 lint · types · contracts ✓ ruff + mypy --strict
T1 visible tests ✓ 31/31 in sandbox
T2 hidden + property tests ✓ 22 hidden · 8 properties
T3 mutation + crucible ✓ graduation gauntlet
oracle
mutation score 0.94 ≥ 0.80 gate ✓ trusted oracle
crucible — attacks survived
edge ✓ spec ✓ security ✓
guarantees
specsmith wrote tests · codewright wrote code · different models
timing-attack properties verified · key derivation hardness confirmed
verdict: TRUSTED attacked · held · certified
SEPARATION OF POWERS
Most AI writes code. Zevron proves it works.
Every unit Zevron builds is checked by an independent test author, run through hidden tests and property tests, and stress-tested by mutation analysis — a test of the tests. Code that passes is genuinely verified, not just plausible-looking.
THE PROOF
33% → 0%
Security bugs in the held-out exploit evaluation.
Measured against real exploits. This is the result we care about: vulnerabilities that looked fine to an internal suite did not ship.
TRUST EVIDENCEREAL PRODUCT OUTPUT
zevron trust password.crypto
VERIFIED VS. GENERATED
We tell you what we're sure about.
For our supported build types, every result passes an independent verification check and is labeled Verified. Everything else is high-quality code labeled Generated — built and internally tested, but without an independent guarantee. We never call something verified when it isn't. You always know exactly what you're getting.
Verified
Independently checked: hidden tests, property tests, and mutation analysis all passed. Earned trust, not a claim.
Generated
Built and tested by Zevron, but without an independent verification pass. Good code — just not yet certified.
HOW IT WORKS
One build. A sequence of independent gates.
- 01
Foreman
Break the backend into dependency-ordered units.
- 02
Specsmith + Codewright
Write tests and code separately. Neither sees the other's reasoning.
- 03
T0–T3
Run types, visible tests, hidden properties, and mutation checks.
- 04
Crucible
Attack candidates that made it through the funnel.
- 05
Trust
Certify only code that survives the gate.
- 06
Registry
Keep proven patterns available for the next build.
SCOPE, HONESTLY
What Zevron builds today.
Zevron is strongest on backend services — data models, storage, business logic, APIs.
It's a beta: it shines on some shapes and is still learning others. You'll always see an honest label on what you get.
GET STARTED
Bring your own OpenRouter key.
Building happens in your terminal, not on the web. Apply for beta access, then bring your own OpenRouter API key — every build runs against it, no shared or free model access yet.
APPLY FOR BETA ACCESS
We're onboarding a small group of testers by hand — tell us what you'd build and we'll follow up.
Apply for accessALREADY HAVE ACCESS?
Sign in, download the CLI, and bring your own OpenRouter API key to start building immediately.
Get started with BYOKBETA ACCESS
Apply for beta access.
Tell us what you'd build and we'll email you when your account is ready — bring your own OpenRouter key to start.