Forward
Does the code keep its promise?
Assay extracts every implicit claim your code makes. Handles null. Validates input. Retries on failure. Then it checks the code against each claim, one at a time.
Extract claims. Verify each one.
Ship code that works.
AI writes code that compiles clean, reads right, and still does not do what it says it does. Tests only check what you thought to test. Assay checks the claims the code itself makes, forward and reverse.
npx tryassay assess /path/to/projectOpen the Assay portalNo signup to run the CLI.
The method
Two directions, one verdict.
Every claim the code makes, checked both ways.
Reverse
Does anything happen you never claimed?
Assay also works backward, from the code to the claims. The swallowed error, the path with no guard, the branch that returns the wrong shape. It surfaces behavior no claim covers.
Engine
Patent-backed verification.
Claim extraction and dual-direction checking are a patent-backed method, not a linter pass. Assay reasons about what the code intends, then proves it or breaks it.
Part of Seatrial
Run it on your own repo.
npx tryassay assess /path/to/project