Assure

Your AI writes the code.
Assure checks it before it merges.

holdsnot establisheddisproven

Tell your agent

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

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

Assure checks itself

Assure checks itself · release 5feac4f4 · 2026-11-04 · 58 of 68 hold · 8 not established · 2 disproven

Premised: A1, A4, A5, E10, E13 and G5.

Every promise, row by row →

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

How the product works. 106 seconds, captions on. Transcript.

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 and the 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.

See our plans.

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.