How to install Pi Lean Ctx in Gemini CLI

Gemini CLI was replaced by Antigravity CLI in June 2026. On an enterprise licence or paid API key you can still install Pi Lean Ctx by running "gemini mcp add pi-lean-ctx npx -y pi-lean-ctx", then type /mcp to check it.

Built from the published package · server updated yesterday

1
Run the install command
In a terminal, run:
```
gemini mcp add pi-lean-ctx npx -y pi-lean-ctx
```
2
Check it
Inside Gemini CLI, type /mcp to list servers and 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

Claude Code Claude Desktop Cursor VS Code Windsurf Codex Antigravity CLI ChatGPT

Similar servers

Gotchamail MCP maildev

MCP (Model Context Protocol) server for Claude integration with MailDev

AAA Local 6.1k

ha-mcphomeassistant-ai

Comprehensive Model Context Protocol server for managing Home Assistant through AI assistants.

AAA Local 5.1k

Pi MCP earendil-works

Standalone Model Context Protocol client for pi and other applications

AAA Local 1380k/wk

Questions

Does Pi Lean Ctx work in Gemini CLI?

Yes. Gemini CLI supports local and remote mcp servers, extensions (legacy), and Pi Lean Ctx installs with the steps above.

Pi Lean Ctx does not show up in Gemini CLI. What now?

Restart Gemini CLI 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.

Run the install command

Check it

Install Pi Lean Ctx in another app

Similar servers

Questions