WEBVTT

00:00.000 --> 00:04.000
Artificial intelligence is becoming incredibly capable.

00:04.000 --> 00:09.000
It can write software, design things, and reason in ways that would take humans an enormous amount of time.

00:09.000 --> 00:11.000
But how do we know what holds,

00:11.000 --> 00:13.000
what doesn't,

00:13.000 --> 00:15.000
and what still needs to be checked?

00:15.000 --> 00:19.000
That's where Assure by Symbolia comes in.

00:19.000 --> 00:23.000
We're building an automatic verification layer for machine software.

00:25.000 --> 00:29.000
I'm Billy Jeremijenko. I'm the founder of Symbolia.

00:29.000 --> 00:34.000
When an AI proposes a change to your code, Assure checks it against what that code needs to do.

00:34.000 --> 00:38.000
Every check gives you one of three outcomes.

00:38.000 --> 00:42.000
Holds, not established, or disproven.

00:42.000 --> 00:47.000
So you, or your agent, can see what was checked and why.

00:47.000 --> 00:48.500
Assure is super easy to set up.

00:48.500 --> 00:56.000
You just point an agent at the Assure skill repository and you tell it to use the setup skill.

00:56.000 --> 01:00.000
After you've done that, it's going to check every pull request.

01:00.000 --> 01:03.000
So engineers will be able to use this system to enhance

01:03.000 --> 01:06.000
and accelerate the work that they're already doing.

01:06.000 --> 01:13.000
On the free tier, users have about five dollars of credit to run deterministic checks.

01:14.000 --> 01:21.000
The premium tier starts at twenty dollars a month, and it includes formal modeling and verification of authentication.

01:21.000 --> 01:26.000
And then the Pro tier, which starts at two hundred dollars a month, formally models the entire essential state machine of the app.

01:26.000 --> 01:29.000
I envision a future

01:29.000 --> 01:34.000
where AI interacts with the world safely, to create a future of abundance for everyone.

01:35.000 --> 01:37.000
Add Assure to your workflow,

01:37.000 --> 01:46.000
and see what it can establish for your code.