Collection of general purpose meta tools. Minimal Set.
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.
A highly parallel Perl 5 interpreter written in Rust
Model Context Protocol (MCP) specification implementation - 2025-06-18 version
A tool for synthesizing Code Reuse Attacks (ROP chains) using Ghidra's p-code and Z3
A2C-SMCP Computer client for MCP server management
Local markdown semantic search with hybrid BM25+vector retrieval and LLM reranking
Put Claude Code's file tools in fine fettle. Removes artificial size limits on reads and the read-before-write gate on writes.
Declarative environment setup and scripted workflows from TOML
Embedded event-sourcing framework built on eventfold
HTTP API server for local LLM inference
A procedural macro that derives the MCPToolSchema implementation for structs or enums, generating a tool_input_schema function used with rust_mcp_schema::Tool.