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.
From-scratch .env parsing and loading toolkit in Rust.
Personal developer-companion CLI: scans your repos, indexes code semantically, watches your activity, and moves AI-agent sessions between tools (Claude Code, Aider, Goose, OpenAI Codex CLI, Continue.dev, OpenCode).
AI-powered code review CLI for Pull Requests using Claude
Code Mode validation and execution framework for MCP servers
Zero-dependency CLI for Delta Lake observability
Command-line interface for tfparser-core: parse Terraform/Terragrunt repos into Parquet.
Library for parsing Terraform / Terragrunt source repositories into a queryable IR (Parquet-backed).
Fast local cross-encoder reranker for Synaptic (BM25-based, zero external dependencies)
Terminal environment variable manager with TUI and CLI
Parse a number into possible words
Safety layer for Claude Code: classifier-gated bash hook + MCP server blocking dangerous command compositions.