surety 0.0.1

Surety: an agent-native language where models write implementations, humans write specs, and a checker is the referee. Placeholder release.
1
2
3
4
5
6
7

# 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](https://github.com/surety-lang) organization on GitHub.