Grep+ Proof Harness for VS Code
Grep+ Proof Harness lets the Grep+ dashboard hand repository setup to VS Code.
Install
Install Grep+ Proof Harness from the VS Code Marketplace. From VS Code Quick Open (Ctrl+P / Cmd+P), paste:
ext install grepplus.grepplus-harness
Then return to the Grep+ dashboard and click the VS Code setup button again. The dashboard sends VS Code a setup link for the selected repository.
Manual fallback
If Marketplace install is unavailable, use the dashboard's manual fallback:
- Download
grepplus-harness-0.0.10.vsix from the Grep+ dashboard.
- In VS Code, open Extensions.
- Choose
... then Install from VSIX....
- Select the downloaded file.
- Return to the Grep+ dashboard and click the VS Code setup button again.
If the code command is installed, this also works:
code --install-extension grepplus-harness-0.0.10.vsix
After installation, VS Code can receive Grep+ setup links for each repository.
Setup Link
The dashboard opens a link shaped like:
vscode://grepplus.grepplus-harness/setup?repository=owner/repo&installation_id=...
When VS Code receives that link, the extension:
- Confirms the
owner/repo repository.
- Finds an existing workspace folder or clones the repo under
~/projects.
- Runs the bundled Grep+ installer from the reviewed extension package.
- Runs
node <bundled-installer> init --target both from the repo root.
- Registers the local path with Grep+ so dashboard launchers can open the right folder.
- Opens the repository folder in a fresh VS Code window.
The fresh VS Code window is the restart step for the coding agent surface. Use that new window's Claude Code/Codex panel, because already-open panels do not reload newly installed MCP tools.
After the local path is registered, return to the Grep+ dashboard and open the repo again.
