install_extension — Proving Lab MCP Tool Mutating
install_extension
(install extension) is one of 10 tools on the
Proving Lab
MCP server. Connect the server and your client discovers it on the handshake.
by client
How to call install_extension from your client
- Claude Code Proving Lab install_extension run in your project directory
- Claude Desktop Proving Lab install_extension ~/Library/Application Support/Claude/claude_desktop_config.json
- Cursor Proving Lab install_extension ~/.cursor/mcp.json
- VS Code Proving Lab install_extension .vscode/mcp.json
- Zed Proving Lab install_extension ~/.config/zed/settings.json
- Windsurf Proving Lab install_extension ~/.codeium/windsurf/mcp_config.json
- Cline Proving Lab install_extension ~/Library/Application Support/Code/User/globalStorage/saoudrizwan.claude-dev/settings/cline_mcp_settings.json
- Gemini CLI Proving Lab install_extension ~/.gemini/settings.json
- Grok Proving Lab install_extension .mcp.json (in your project root)
- ChatGPT Proving Lab install_extension Settings → Connectors → Advanced → Developer mode
- Claude.ai Proving Lab install_extension Settings → Connectors → Add custom connector
- LangChain Proving Lab install_extension pip install langchain-mcp-adapters
Fastest route
claude mcp add --transport http browser-citation-capture https://provinglab.dev/mcpOther tools on this server
This list was read from the server itself, by connecting to it and calling tools/list on 24 September 2026. It is what
the server actually exposes, not what its listing claims.
Mutating and Read-only are read off each tool's name, not its schema — a hint, not a guarantee. The registry stores tool names only; connect the server for its live schemas.