surety 0.0.1

Surety: an agent-native language where models write implementations, humans write specs, and a checker is the referee. Placeholder release.

Size
Source code size: 15.9 kB This is the summed size of all the files inside the crates.io package for this release.
Links
Homepage
Repository
crates.io
Dependencies
Versions
- 0.0.1 (2026-10-18)
Owners

surety-0.0.1 is not a library.

Surety

Surety is a programming language for code that models write and humans only spec, with contracts and evidence checked by a small trusted kernel.

Version 0.0.1 is a placeholder that reserves the surety crate name. Nothing works yet: the binary prints its version and help text, and every other invocation exits with an error.

Follow along at the surety-lang organization on GitHub.