How to install Pi Lean Ctx in Codex
To install Pi Lean Ctx in Codex, run "codex mcp add pi-lean-ctx -- npx -y pi-lean-ctx" in your terminal, then type /mcp in Codex to check it.
Built from the published package · server updated 2 days ago
- 1
Run the install command
In a terminal, run:
codex mcp add pi-lean-ctx -- npx -y pi-lean-ctx - 2
Check it
Inside Codex, type /mcp to see the server and its tools.
MCP servers run with your permissions. If Pi Lean Ctx needs an API key, add it under env in the config. Check its README.
Install Pi Lean Ctx in another app
Similar servers
Codebase knowledge graph for AI agents — 162 languages, sub-ms queries, 99% fewer tokens.
Comprehensive Model Context Protocol server for managing Home Assistant through AI assistants.
Standalone Model Context Protocol client for pi and other applications
Questions
Does Pi Lean Ctx work in Codex?
Yes. Codex supports mcp servers in the codex cli and ide extension, and Pi Lean Ctx installs with the steps above.
Pi Lean Ctx does not show up in Codex. What now?
Restart Codex fully, check the JSON is valid, and make sure Node.js (for npx) is installed. See common MCP errors and fixes.
Is Pi Lean Ctx safe?
It scores 93 of 100. Review the code before you install it, and only give it the access it needs. Grades and details.
