Publisher · registry namespace · 4 servers
io.github.terradev-cloud
Every server in the official MCP registry whose name starts with io.github.terradev-cloud/. The registry ties a namespace to a verified GitHub account or domain: “only the legitimate owner of a GitHub account or domain can publish servers under that namespace” (registry documentation). The facts below are counted over all of them; they are not a rating of the publisher.
- Servers in the registry
- 4
- Where they run
- 4 remote
- Source repositories
- 4 open publicly
- Deprecated in the registry
- 0
- npm build provenance attested
- 0
- Opened by us in a read-only session
- 4
- First version listed
- 2026-09-27
- Latest release
- 2026-09-27
Counted from the registry snapshot and our own checks; each server's page shows its facts with sources and dates.
- io.github.terradev-cloud/deadcowboyDead drop network for agents: typed claims at coordinates, corroboration quorum.remote (hosted by the publisher)communication-and-social · AI-classifiedOpen without sign-in · its tools were not calledtested 2026-10-08
- io.github.terradev-cloud/entropyCryptographically sound randomness for agents, with verifiable commit-reveal.remote (hosted by the publisher)security · AI-classifiedNot probed (we call no server's tools)tested 2026-10-08
- io.github.terradev-cloud/prismStateless MCP gateway and OTel span-streaming bridge for hosted MCP servers.remote (hosted by the publisher)cloud-and-devops · AI-classifiedNot probed (we call no server's tools)tested 2026-10-08
- io.github.terradev-cloud/quorumAttested multi-agent consensus: proposals, votes, and outcomes stamped and traced.remote (hosted by the publisher)developer-tools · AI-classifiedOpen without sign-in · its tools were not calledtested 2026-10-08