Operations¶
Local Server¶
cd D:\github\workspace-mcp\server
npm install
node .\src\server.js
VS Code¶
This repo provides .vscode/mcp.json at the workspace root so VS Code can launch workspace-mcp automatically when the workspace is opened from D:\github.
Codex CLI¶
D:\github\start_codex_cli.py now:
- ensures
workspace-mcpis registered in Codex CLI - checks basic MCP health in
--doctormode
Verify:
codex mcp list
codex mcp get workspace-mcp --json
python D:\github\start_codex_cli.py --doctor --print-only
Generated Artifacts¶
workspace-repo-registry.generated.jsonis generated- it should not be treated as hand-edited source
- re-run the inventory script after adding or changing repo manifests