pi-lean-ctx

Level AMCP ecosystemNot an MCP ServerSource

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.

Overview

pi-lean-ctx is a Pi Coding Agent extension that connects to a local LeanCTX Engine, the Context Gateway for AI Systems, via CLI and MCP paths. It adds ctx_-prefixed tools for selecting task-relevant views, applying controls, retaining local context, and inspecting recorded operations. An embedded MCP bridge is enabled by default alongside Pi's builtins, with an optional replace mode. The integration is research/experimental.

⭐ 3.9kDevelopment ToolsRustRepo ↗Updated 2026-10-28

Installation

View source repo →

Related servers

lean-ctxSame author⭐ 3.9k · Search & InfoLeanCTX is the Context Gateway for AI Systems. Select task-relevant context, applean-ctx-clientSame author⭐ 3.9k · OtherThin, dependency-free Python client for the lean-ctx HTTP /v1 contractREA⭐ 434.3k · Development Tools逆向工程一体化 MCP：把 Ghidra、IDA、Hopper、JADX、Frida、ADB、浏览器等工具统一封装，Agent 无需源码即可分析二进制、App、gemini-cli⭐ 108.7k · Development ToolsAn open-source AI agent that brings the power of Gemini directly into your termiawesome-mcp-servers⭐ 97.3k · Development ToolsA collection of MCP servers.cline⭐ 71.4k · Development ToolsAutonomous coding agent as an SDK, IDE extension, or CLI assistant.