A deterministic verification engine for agents. Proves a fix: fails on the old code, passes on new.
Free
Scanned where there is a package or repository to read, and every release diffed against the tool surface we already hold.
A deterministic verification engine for agents. Proves a fix: fails on the old code, passes on new.