Verdigraph is answering right now. Last checked 9 min ago. It exposes 4 tools. Last commit 18 Sep 2026.
Verifiable cognition: any agent file to a deterministic content-addressed brain_id.
We read the source, 22 h ago · tools taken from the live server · rules 3dff92dd89df
What this server is able to do. For an MCP server this is often the job itself — a terminal server runs commands because that is what it is for. Listed so you know what you are plugging in, not as an accusation.
state = pickle.loads(row[0])
r = subprocess.run([sys.executable, "-c", code], capture_output=True, text=True)
$("kpis").innerHTML = cells.map(([l,v,d]) =>
self.environ = dict(os.environ if environ is None else environ)
Is this your server and something here is wrong? Tell us — corrections are free and do not require a plan.
We found places where it runs commands, builds paths or queries from values it is given. None of that is a flaw by itself — it becomes one when the code changes, and code changes quietly between releases. We re-read it on every one.
Endpoint below is the one we actually reach during checks — not the one copied from a README. Last verified 9 min ago.
claude mcp add verdigraph --transport http https://mcp.viridisconservation.com/verdigraph/mcp
{
"mcpServers": {
"verdigraph": {
"url": "https://mcp.viridisconservation.com/verdigraph/mcp"
}
}
}
[mcp_servers.verdigraph]
url = "https://mcp.viridisconservation.com/verdigraph/mcp"
{
"mcpServers": {
"verdigraph": {
"url": "https://mcp.viridisconservation.com/verdigraph/mcp"
}
}
}
{
"mcpServers": {
"verdigraph": {
"url": "https://mcp.viridisconservation.com/verdigraph/mcp"
}
}
}
Read directly from the server with tools/list, grouped by what they act on.
If a tool disappears, we record the date.
build_brain
describe_agent
detect_format
verify_brain
| URL | Transport | State | Latency | Checked |
|---|---|---|---|---|
| https://mcp.viridisconservation.com/verdigraph/mcp | streamable-http | answering | 329 ms | 9 min ago |
CrossingKey MCP for agent commerce, x402 payments, deterministic execution, and verifiable receipts.
Deterministic, machine-verifiable dispute resolution for A2A escrows.
Verifiable cognition: prove a session ledger is tamper-evident; audit & import any agent's logs.
Deterministic cross-branch conflict detection for AI coding agents
Content-addressed contracts and a verification cache that cut agent context by skipping proven code.
Deterministic fact verification for AI agents — checksums & curated data, not guesses.
Deterministic prompt-injection detector; signed, offline-verifiable verdicts. Not an LLM.
Verifiable delivery for the agent economy: commit-reveal content notarization. Sellers commit to a d
Answers built from our own checks of this server.