AXON — the formal cognitive language: a deterministic, proof-carrying AI runtime. Native Rust lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the runtime: typed channels (π-calculus mobility, capability extrusion), algebraic effects via Free Monad CPS handlers, lease kernel + reconcile loop, the Epistemic Security Kernel, Trust Types, Proof-Carrying Code (independently verifiable proof objects), and the closed-catalog extension mechanism. Crate publishes as `axon-lang`; library import is `use axon::*` so existing call sites keep working unchanged.
Web browsing plugin for swink-agent: fetch, search, screenshot, extract
contextual output encoding for xss defense and safe literal embedding, inspired by the owasp java encoder
Render Mermaid fences in rustdoc with headless Merman SVG output.
Generate Rustdoc comments automatically using Awful Jade and a Nushell-based AST extractor.
SKILL.md parser, registry, embedding matcher, and hot-reload for Zeph
Context-aware output encoding and URI sanitization for safer application responses.
OpenTelemetry extension for SpinKube WASM environments
A Rust library to generate Rust structs from JSON Schema.
Procedural macro json_schema_to_rust! for json-schema-rs
A multi-language static analysis tool for detecting security vulnerabilities
The newtype with guarantees.