agent-spec 1.1.0

Intent compiler for AI agent coding: human intent compiles through requirement IR into verifiable task contracts, mechanically verified against the code
1
2
3
4
5
6
7
8
9
mod ast;
mod error;
mod lint;
mod verify;

pub use ast::*;
pub use error::*;
pub use lint::*;
pub use verify::*;