# Assure by Symbolia

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

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

**holds** · **not established** · **disproven**

Tell your agent

```text
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: /self-check/5feac4f4.md. Every release: /assure-on-assure.

**See it in action.** [A live demo: three pull requests, one caught bug](https://github.com/Symbolia-Assurance/assure-demo) · [One prompt to an agent sets up Assure](https://github.com/Symbolia-Assurance/assure-install-demo) · [What Assure posts on your pull request](/how-it-works#what-assure-posts-on-your-pull-request)

Video, how the product works (106 s, captions on): /video/assure-launch-720.mp4. Transcript: /video/captions.vtt.

## Verify Assure

- 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](https://github.com/Symbolia-Assurance/assure-benchmark) Source: /figures#false_alarms (LAUNCH-FIGURES row 4, 9).
- Planted auth flaw caught: Free 5 / 10. Bandit 0. CodeQL 0. One unguarded route planted in each app. [Extend it yourself](#assure-improves-continuously). Semgrep is not published (rules licence); run it with run.sh. [See the repo](https://github.com/Symbolia-Assurance/assure-benchmark) Source: /figures#bench_assure (LAUNCH-FIGURES row 9).
- Checked on real, public code. [microblog](https://github.com/miguelgrinberg/microblog) ([PR](https://github.com/Symbolia-Assurance/setup-qual-microblog/pull/5)), [flasky](https://github.com/miguelgrinberg/flasky) ([PR](https://github.com/Symbolia-Assurance/setup-qual-flasky/pull/5)), [flask-base](https://github.com/hack4impact/flask-base) ([PR](https://github.com/Symbolia-Assurance/setup-qual-flask-base/pull/5)), [realworld](https://github.com/gothinkster/flask-realworld-example-app) ([PR](https://github.com/Symbolia-Assurance/setup-qual-realworld/pull/5)), [Flask-User starter](https://github.com/lingthio/Flask-User-starter-app) ([PR](https://github.com/Symbolia-Assurance/setup-qual-flask-user-starter/pull/5)), [cookiecutter-flask demo](https://github.com/jamescurtin/demo-cookiecutter-flask) ([PR](https://github.com/Symbolia-Assurance/setup-qual-cookiecutter-demo/pull/39)), [flask-jwt-auth](https://github.com/oleg-agapov/flask-jwt-auth) ([PR](https://github.com/Symbolia-Assurance/setup-qual-jwt-restful/pull/5)), [REST-tutorial](https://github.com/miguelgrinberg/REST-tutorial) ([PR](https://github.com/Symbolia-Assurance/setup-qual-rest-tutorial/pull/5)), [flaskr](https://github.com/pallets/flask/tree/main/examples/tutorial) ([PR](https://github.com/Symbolia-Assurance/setup-qual-flaskr/pull/7)), [flask-bones](https://github.com/cburmeister/flask-bones) ([PR](https://github.com/Symbolia-Assurance/setup-qual-flask-bones/pull/5)). Pinned commits and plants in the benchmark repo. Source: /figures#free_setup_qual (LAUNCH-FIGURES row 1).
- First PR comment in 3.6 minutes. Fresh agents, from the one-liner, ten apps. [See the install demo](https://github.com/Symbolia-Assurance/assure-install-demo) · [the live demo](https://github.com/Symbolia-Assurance/assure-demo) Source: /figures#time_to_first_comment (LAUNCH-FIGURES row 5).
- 66x internal development acceleration. Reviewed changes merged a day: from 1 to a median of 66 (peak 130). Source: /figures#dev_acceleration (LAUNCH-FIGURES row 15).

## Assure improves continuously

- **Build an adapter bridge.**
- **State a fact only you know.**
- **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](/pricing).

*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.*

- [Get started](/get-started)
- [How it works](/how-it-works)