Prove it's
safe to merge.
When agents write your software, fastverk is the substrate that proves it's safe to ship — hermetic builds, blast-radius-aware tests, and a merge gate that runs every test your change can reach.
| change | blast radius | verdict |
|---|---|---|
| lib/greet.txt | 7 targets | SAFE ✓ merged |
| api/handler.rs | 23 targets | building… |
| config.weak_test | cross-pkg | BLOCKED ✕ |
AI can write the code.
It can't tell you it's safe to merge.
Speed was never the hard part — trust is. An agent that ships thirty PRs an hour is a liability until something can prove each one didn't break a test it never thought to run. fastverk is that something: the layer between “the agent is done” and “it's in main.”
Five links, each one verified.
Every automated merge rests on a chain of claims that used to be taken on faith. We turned each one into something checked — and closed the gap where a false green slips through.
The graph is queried at the exact commit under test. A stale or failed load fails loud — it can never quietly return “nothing affected” and wave a change through.
verifiedThe dependency graph matches ground truth, validated against Bazel’s own query. What the loop believes about your code is what’s actually true.
verifiedThe agent scopes from the graph before it edits — blast radius first. Not a tool it might skip; a step it always takes.
verifiedThe affected-test set is a computed superset of what the change touches. Missed-affected = 0 is the gate — over-scoping only costs CPU.
verifiedThe property holds across every repo in the fleet — forge, console, plugins — not one blessed sandbox.
verifiedAssurance you can audit.
Not a promise — an artifact. Each of these is reproducible and emitted by the platform itself.
The merge gate runs a computed superset of the tests your change can reach — derived from the real build graph, not a directory heuristic. A change won’t go green while breaking a test the naive path would have skipped.
Agents dispatch tools with a typed, Lean-proved witness — not a natural-language guess at the arguments. The proof travels with the call, so there’s no hallucination gap between intent and action.
SOC 2 evidence isn’t collected after the fact. It’s a content-addressed, write-once byproduct of how every change already flows through the control plane — builds, merges, deploys, all attested.
One console. Your cloud, or ours.
Assurance rides on a real platform — CI, remote build execution, workspaces, and an agent fleet, aggregated behind a single sign-in.
Hosted, or your cloud
Use the hosted service — nothing to run. Or self-host: one CloudFormation stack brings up the cluster, nodes, TLS, and DNS at your own domain.
Plugin architecture
Every capability is a narrowly-scoped gRPC-service plugin, discovered and routed like QueryRPC. Add features without forking the core.
Keyless by default
Workload-identity federation: your CI trades its OIDC token for a short-lived fastverk credential. No shared secrets to leak.
Every plan is a real build plane.
Module registry, remote cache, and cloud RBE on every tier. Upgrade for premium modules, the VPN plugin, and SSO & audit.
Free
Free
For individuals and trying fastverk out.
- 1 seat
- 200 RBE min/mo
- 5 GB cache
- 2 concurrent actions
- Module registry (read)
- Remote cache
- Remote build execution
- Sign-in & keyless CI
Team
$290/month
For teams shipping on shared RBE + private modules.
- 10 seats
- 10,000 RBE min/mo
- 100 GB cache
- 20 concurrent actions
- 6M agent tokens/mo
- Module registry (read)
- Premium modules
- Remote cache
- Remote build execution
- Sign-in & keyless CI
- VPN plugin
- Agent fleet
- AI administration
Enterprise
Contact us
For organizations needing SSO, audit, and dedicated capacity.
- Unlimited seats
- Unlimited RBE minutes
- Unlimited cache
- Unlimited concurrency
- Unlimited agent tokens
- Module registry (read)
- Premium modules
- Remote cache
- Remote build execution
- Sign-in & keyless CI
- VPN plugin
- Agent fleet
- AI administration
- SSO / SAML
- Audit log
Let agents build. Prove it's safe to ship.
Download the desktop app and sign in, or launch the whole platform into your own AWS account.