aderyn

The official Rust SDK for the Model Context Protocol

Headless IDA Pro MCP Server

Self-hosted, secure tunnel server in Rust. Expose local HTTP/HTTPS/TCP/UDP services to the public internet via TLS-encrypted WebSocket. Open-source, pay-as-you-go managed option, MCP server for AI agents.

Local deterministic memory and safety kernel for AI agents. Replaces vector RAG with STRATA, a cryptographically signed, append-only ledger, so every agent state carries proof. Uses causal_walk engine to trace execution failures back to their root cause, and Operator Lite to block destructive terminal terminal commands before they ever run