Compatibility package for Correctover runtime security. The legacy standalone MCP server has been replaced by correctover-mcp-gateway; the runtime SDK is available as correctover.

Control what your AI can see. LeanCTX (Lean Context) is the context intelligence layer for AI agents — one local Rust binary that decides what they read, remembers what they learn, guards what they touch, and proves what they save. 60–90% fewer tokens as the receipt. 76 MCP tools, 30+ agents, local-first.