Unified TUI search over local coding agent histories
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.
Universal self-update library for Rust CLIs, extracted from rvpm and renri.
PFCL Type Checker — Hindley-Milner inference using catalog signatures as the type environment
A minimal, lightweight crate update checker for Rust CLI applications
Core library for Lean-Agentic: hash-consed dependent types with 150x faster equality
Interactive deployment manager for ResQ environments — Docker Compose and Kubernetes TUI
Developer diagnostics: HTTP timing, build artifact cleanup, environment health checks, port scanning, PATH analysis, and config format conversion
Common HTTP utilities and patterns for LMRC Stack applications
Version checking library for Mozilla CLI tools
A Rust implementation of the TypeSpec type system — parser, checker, and emitter
Solvability checker for CTF
When you are developing a new feature if your app have some environments like test, staging and production is easy to forget an environment variable in the middle of the process. Also when you migrate the app to another server is easy to forget an environment variable.
Env checker