Client Setup: Copilot CLI and VS Code

Official references

• https://docs.github.com/en/copilot/how-tos/copilot-cli/customize-copilot/add-mcp-servers
• https://docs.github.com/en/copilot/concepts/context/mcp
• https://code.visualstudio.com/docs/copilot/customization/mcp-servers
• https://code.visualstudio.com/docs/copilot/reference/mcp-configuration

Register in Copilot CLI

Install the release-candidate checkout on PATH as described in the root README, then register the local server:

copilot mcp add reasonkit-think -- reasonkit-think-mcp
copilot mcp get reasonkit-think

The equivalent .mcp.json entry is:

{
  "mcpServers": {
    "reasonkit-think": {
      "type": "local",
      "command": "reasonkit-think-mcp",
      "args": [],
      "tools": ["*"]
    }
  }
}

Register in VS Code

VS Code stores MCP servers under the top-level servers key:

{
  "servers": {
    "reasonkit-think": {
      "type": "stdio",
      "command": "reasonkit-think-mcp",
      "args": []
    }
  }
}

The default core pack exposes exactly 13 tools. Set REASONKIT_TOOL_PACK=full only as the 47-tool compatibility escape hatch.

Verify

• The server is trusted and connected.
• Tool discovery returns exactly 13 tools under the default pack.
• The Auto → evidence → checkpoint/decision → audit path completes.

If startup reports ENOENT or an executable error, run command -v reasonkit-think-mcp in the environment that launches the client.