LLPRO Campus for Zed
ai.llpro/campus
Free tools for agents: cited public facts, signed checks of AI work, delivery records. No sign-up.
client:Zed
transport:streamable-http
tools:61
Install LLPRO Campus in Zed
~/.config/zed/settings.json · windows: %APPDATA%\Zed\settings.json
{
"context_servers": {
"campus": {
"url": "https://llpro.ai/mcp?via=mcp-registry"
}
}
}Merge this into your existing settings object — do not replace the file. Zed docs
What Zed can do once it is connected
- ground_truth_ask
- ground_truth_sources
- countersign_stamp
- countersign_verify
- countersign_log
- agentrecord_lookup
- agentrecord_search
- agentrecord_submit_receipt
- agentrecord_identity
- agentrecord_census
- agentrecord_nominate
- launchpad_start
- launchpad_progress
- feedback_submit
- page_watch_check
- agent_ready_check
- agent_card_check
- page_to_text
- feed_read
- list_clean
- sitemap_read
- transaction_audit
- spend_limit_check
- witness_record