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.
AI/Human task management system with file-based storage
Postgres declarative schema management CLI — diff source SQL against a live database and generate reviewable migrations.
Postgres declarative schema management — core library (parser, IR, diff, planner) powering the pgevolve CLI.
PostgreSQL companion for teams not using Rails or Django. Migrations, introspection, diffing, and more.
Analyze SQL
A blazingly fast MCP server for code intelligence - enumerates repos, data structures, algorithms, and returns relevant code context
Final ast-outline release. Renamed to ast-bro — install via `cargo install ast-bro`. This 2.1.1 ships the new `ast-bro` and `sb` binaries alongside `ast-outline` so existing users can transition.
pluck CLI — symbol-aware code reading for terminals and non-MCP environments. Drop-in replacement for cat/grep with a raw fallback that preserves their output byte-for-byte.
Core indexing, AST chunking, BM25 search, and incremental reindex for pluck — the fast, token-friendly code-reading MCP server for AI coding agents.
MCP server (pluckd) for pluck — exposes the read/search/grep/symbol/peek/expand tools over stdio for AI coding agents like Claude Code, Cursor, and Codex.
CrateStack — Rust-native, schema-first framework for typed HTTP APIs, generated clients, and backend services. This crate is a documentation-only landing page; depend on `cratestack-pg` for backend services or `cratestack-sqlite` for embedded targets.