Verified record · from the answer index

pi-lean-ctx

Pi Coding Agent integration for LeanCTX Engine, the Context Gateway for AI Systems. Routes supported tools through context selection, controls, and a persistent MCP session.

claude mcp add pi-lean-ctx -- npx -y pi-lean-ctx

npm:pi-lean-ctx · published by yvgude · source repository