Assure – formal verification for every PR

One command fetches the declaration, your requirements.md and the workflow. The agent opens the first pull request, already checked.

Assure checks it before it merges.

holdsnot establisheddisproven

Tell your agent

Set up Assure: follow https://github.com/Symbolia-Assurance/assure-action/blob/v0.1.2/skills/assure/SKILL.md

Assure checks itself #

Assure checks itself · release fa579391 · 2026-10-22 · 51 of 61 hold · 8 not established · 2 disproven

Premised: A1, A4 and G5.

See it in action. A live demo: three pull requests, one caught bug · One prompt to an agent sets up Assure · What Assure posts on your pull request

Verify Assure #

1. 0 false alarms on ten real Flask apps. A broken rule reported on code that keeps it, on Free and on Premium. On the same clean code Bandit raised 275 findings and CodeQL 11 while catching 0 planted flaws. See the repo
2. Planted auth flaw caught: Free 5 / 10. Bandit 0. CodeQL 0. One unguarded route planted in each app. Extend it yourself . Semgrep is not published (rules licence); run it with run.sh.See the repo
3. Checked on real, public code. microblogPR ,flaskyPR ,flask-basePR ,realworldPR ,Flask-User starterPR ,cookiecutter-flask demoPR ,flask-jwt-authPR ,REST-tutorialPR ,flaskrPR ,flask-bonesPR .Pinned commits and plants in the benchmark repo .
4. First PR comment in 3.6 minutes. Fresh agents, from the one-liner, ten apps. See the install demo andthe live demo
5. 66x internal development acceleration. Reviewed changes merged a day: from 1 to a median of 66 (peak 130).

Assure improves continuously #

1. Build an adapter bridge.
2. State a fact only you know.
3. Request coverage.

Get started for free #

Free to start. Premium USD 20 a month. Pro USD 200 a month. Enterprise for larger codebases.

Formal verification used to take specialists weeks per system.

Assure can build a formal model on every release, automatically.

See what it can establish for your code.