Skip to content

Trust 0.1.0 — strict Rust for the bugs LLMs actually ship

Choose a tag to compare

View all tags
@briannadoubt briannadoubt released this 11 Jun 02:03
· 36 commits to main since this release
v0.1.0
81a7c24

First public release. Trust is a strict Rust dialect for agent-written code: named arguments checked against declarations, a pipe operator, requires! precondition contracts, and 20 teaching-error lints — all lowered to plain Rust before stock rustc ever sees the file. In our 4-model, 3-vendor eval, ~60% of agent-authored files shipped an audited bug class in plain Rust; 0% shipped under Trust.

Install

cargo install trust-lang cargo-trustc trust-rustc trust-rustdoc

Use

[package.metadata.trust]
strict = true
cargo trustc build    # also: run, test — or scaffold fresh with `trust new`

Highlights

  • Zero-ceremony adoption: two lines in Cargo.toml, one command; workspace-wide opt-in via [workspace.metadata.trust]; #[cfg(test)] code stays plain Rust
  • The full rule set enforced at build — every diagnostic carries why: and instead:; --message-format json for agents; trust fix auto-inserts argument names
  • Agent skills included: trust new scaffolds a CLAUDE.md; install the writing-trust skill via /plugin marketplace add briannadoubt/Trust → /plugin install trust@trust-plugins
  • No fork, no runtime: stop using Trust tomorrow and the lowered output still builds
  • Case studies (heck, tre) converted end-to-end and green; eval harness, prompts, and every run log in-repo

Published crates: trust-lang (bin trust), cargo-trustc, trust-lsp, and the trust-{diag,lower,lints,syntax,std,rustc,rustdoc} libraries.

🤖 Generated with Claude Code

Assets 2
Loading