Commit graph

3 commits

Author SHA1 Message Date
Armin Ronacher
715f2eccac feat(coding-agent): use -l/--local for project servers in pi mcp add/remove
Replaces --project to match pi install and pi remove.
2026-09-29 01:24:27 +02:00
Armin Ronacher
e78aece136 feat(coding-agent): add pi mcp add/remove and log server messages to mcp.log
pi mcp add writes stdio or HTTP server entries to the global or project mcp.json, pi mcp remove deletes them. Log messages servers send with notifications/message are appended to mcp.log in the agent directory, rotated at 5 MB.
2026-09-29 01:03:19 +02:00
Armin Ronacher
779f67895c feat(coding-agent): add pi mcp list, login, and logout commands
pi mcp list connects to every enabled server and reports its state, tools, and errors, exiting with 1 when anything fails, so agents can verify an mcp.json they wrote. pi mcp login runs the OAuth sign-in through the browser, and pi mcp logout deletes stored credentials. Running sessions reconnect servers waiting for a sign-in at the next turn when their credentials changed.

The system prompt points MCP questions to docs/mcp.md, which now covers setting up servers: which file to edit, rules that are easy to get wrong, converting entries from other clients, and verifying with pi mcp list.
2026-09-27 22:01:25 +02:00