Start Now

Open Source.

Code published in the open, mostly in Rust: tooling that makes agent behaviour machine-checkable rather than self-asserted, and work carried upstream to the projects it depends on.

  • AISP parser and verifier Project Rust · Z3 · MIT

    A Rust implementation that parses AISP documents and formally verifies them, turning AISP's proof-carrying promise into machine-checkable proofs. It supplies the two things the language did not have on its own.

    • A spec-driven parser that turns raw AISP source into a typed abstract syntax tree, handling the full Unicode block structure and mathematical notation, and reporting precise source-located errors.
    • A verification pipeline that translates AISP constraints into SMT formulas and discharges them with Z3, across five levels: syntax, semantic, relational, temporal, and full formal verification with theorem proving and invariant discovery.
    • Shipped as a library and a CLI, with JSON output for CI, and a parser-only build for use cases that do not need the solver.

    Implements the AISP (AI Symbolic Protocol) specification by Bradley Ross. The upstream project defines what AISP is; this repository implements how to parse and verify it.

  • smart-hooks Project Rust

    Git hooks that read what actually changed and run the tests that cover it, instead of the whole suite or nothing. Fast enough to leave switched on, which is the only property that makes a pre-commit hook worth having.

  • path-utils Project Rust

    Cross-platform path normalisation and validation. Path handling is where traversal bugs live, and the differences between platforms are exactly where they hide.

    Alpha.

  • cloudflare/boringtun Open PR Rust

    Proposed eliminating the dependency vulnerabilities and upgrading the outdated libraries in Cloudflare's userspace WireGuard implementation.

  • cucumber-rs/cucumber Fork Rust

    A fork of the Rust BDD framework, carrying the upstream changes it was missing and declaring the dependency minimums the crate actually builds with. Two changes were proposed upstream and not merged.

  • mitsuhiko/minijinja Fork Rust

    A fork of the minimal-dependency Jinja2-compatible template engine for Rust.

  • cloudflare/cloudflare-rs Fork Rust

    A fork of the Rust client for the Cloudflare v4 API.

  • Swatinem/rust-cache Fork TypeScript

    A fork of the GitHub Action that caches Rust and Cargo builds across CI runs.

  • Layr-Labs/ecdsafail-challenge Fork Rust

    Work on the ECDSA fail challenge, a collaborative effort to build the leanest circuit that breaks ECDSA. Two analyses were proposed upstream.