Proofestry for Zed
com.proofestry/proofestry
Provenance and metadata tools for AI agents. Paid tools use x402 (USDC) at /mcp/<tool>.
client:Zed
transport:streamable-http
tools:15
Install Proofestry in Zed
~/.config/zed/settings.json · windows: %APPDATA%\Zed\settings.json
{
"context_servers": {
"proofestry": {
"url": "https://api.proofestry.dev/mcp"
}
}
}Merge this into your existing settings object — do not replace the file. Zed docs