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.
Code intelligence tool that builds a semantic knowledge graph from Rust, Go, Java, Scala, TypeScript, Python, C, C++, Kotlin, C#, Swift, and many more codebases
CLI wrapper for Spin to build and deploy MCP tools using ftl-mcp framework
Opinionated Rust microservice framework. Kubernetes-native, mesh-secured, MCP-by-default.
build.rs helper for tonin services. Wraps tonic-build with tonin conventions.
Client-side primitives shared between generated tonin service clients: AuthCtx, retry/circuit-breaker config, OTel propagation. Tiny dep tree — peer services depend on this without pulling in the server framework.
Core types for tonin: Service builder, Config, Context, Error, runtime.
Proc-macros for tonin: #[mcp_expose] auto-derives MCP tools from gRPC service implementations.
AI Context Protocol - Token-efficient and context enhancing code documentation for AI systems
Model Context Protocol server for mnem - the AI-native, local-first memory substrate for agents.
Advanced multi-modal lie detection system with explainable AI, featuring text, vision, audio, and physiological analysis with ReAct reasoning
slap-your-openclaw - Detect MacBook slaps and trigger OpenClaw roast events
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.