ProofStream for Cline
io.github.proofstreamai/proofstream-mcp
Dispatch a human verifier to physically verify anything in the real world. For AI agents.
client:Cline
transport:stdio
runtime:npm
Install ProofStream in Cline
~/Library/Application Support/Code/User/globalStorage/saoudrizwan.claude-dev/settings/cline_mcp_settings.json · windows: %APPDATA%\Code\User\globalStorage\saoudrizwan.claude-dev\settings\cline_mcp_settings.json
{
"mcpServers": {
"proofstream-mcp": {
"command": "npx",
"args": [
"-y",
"proofstream-mcp"
]
}
}
}Cline's MCP Servers pane edits this file for you if you would rather not find it. Cline docs