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.
Fast codebase indexing and semantic search MCP server with BM25 and hybrid embeddings
MCP Bridge plugin for use with Tauri applications - enables IPC monitoring and backend inspection
A Rust-based static analyzer that applies Rust's ownership and borrowing rules to C++ code
Track TODO/FIXME/HACK comments with git-aware diff and CI gate
Visual regression testing persistence and workflow for zensim
Rust bindings to zvec, an in-process vector database by Alibaba.
Semver-aware git commit helper for Rust projects
Framework for writing flatpak apps with GTK in Rust
Generate C# FFI from Rust for automatically brings native code and C native library to .NET and Unity.
Dotenv with age encryption: encrypt/decrypt secrets in .env files
A minimal, Rust-based IMAP + SMTP mail server for local development and testing