Interface to the SensCritique API
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.
Quality-first AI coding army: single Rust binary that generates production-grade projects via a 9-stage TDD pipeline with a complexity-scaled quality gate (up to 9.2/10)
LLM amplification engine — MCP server with Lua scripting
algocline application layer — execution orchestration, package management
algocline domain model and metrics — pure execution state machine
algocline Lua execution engine — VM, session, bridge
algocline MCP server adapter — thin tool/handler layer over algocline-app
Production-grade AI Agent framework for Rust — ReAct engine, multi-agent, memory, streaming, MCP, IM channels, workflows
A no_std-compatible optics library providing composable lenses, prisms, isomorphisms, and fallible isomorphisms.
Secure-by-Design Autonomous AI Agent
Forgemaster's Lighthouse — orient, relay, gate for fleet task management