agentbible 0.1.0

Language-agnostic correctness checker for scientific numerical code
Documentation

AgentBible Rust

Rust workspace for the AgentBible v1 correctness specification.

Commands

cd languages/rust
cargo test
cargo clippy -- -D warnings
cargo fmt --check

agentbible::types contains strict validating newtypes. agentbible::check contains runtime assertion macros that emit provenance JSON and then panic.