Sign in
Docs
0%

Transports

Atlas MCP tools

The 3 tools /mcp offers for Atlas, what each needs and an example call.

The facts Atlas holds, why it believes them and where decisions and the system disagree. These are the 3 tools of the atlas backend; all MCP tools lists the other backends.

atlas_get_fact

Why Atlas believes a fact. One fact with its proof tree: the rule and the facts it was derived from, down to the evidence each rests on (observations, artifacts, extractions), and whether every leaf rests on evidence (complete). An incomplete proof comes back as no proof with complete false, never a shorter tree. Cite this when you state the fact.

Scopes: mcp:read, decisions:read · reads only

ArgumentTypeWhat it is
fact_idstringThe claim's id: clm_ and a UUID (a bare UUID is read too).
space_idstringThe space's id (decisions_list_spaces).
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "atlas_get_fact",
    "arguments": {
      "space_id": "<space_id>"
    }
  }
}

atlas_list_contradictions

Where decisions and the system disagree. The facts of a space that evidence contradicts, each with the evidence against it and its own support kept: both sides, neither averaged away. Use it to find where a decision (ADR, RFC) and the running system or code disagree.

Scopes: mcp:read, decisions:read · reads only

ArgumentTypeWhat it is
page_sizeinteger0 means 100, at most 500.
page_tokenstringFrom the previous answer's next_page_token; "" for the first page.
space_idstringThe space's id (decisions_list_spaces).
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "atlas_list_contradictions",
    "arguments": {
      "space_id": "<space_id>"
    }
  }
}

atlas_list_facts

What Atlas knows. The facts Atlas currently believes about a space's system (what runs, what depends on what, which decision governs it), derived and observed. Each says its support (none, observed, supported, verified), its validity (current, stale, expired; stale is not false) and whether evidence contradicts it. Filter by subject, derived, validity or contradicted. space_id is a Decisions space (decisions_list_spaces). Answer from these, never from memory.

Scopes: mcp:read, decisions:read · reads only

ArgumentTypeWhat it is
contradictedbooleanOnly contradicted facts.
derivedbooleanOnly facts a rule derived.
page_sizeinteger0 means 100, at most 500.
page_tokenstringFrom the previous answer's next_page_token; "" for the first page.
space_idstringThe space (a Decisions space id).
subjectstringOnly facts about this subject; empty for any.
validitystringOnly facts in this validity: current, stale or expired; empty for any.
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "atlas_list_facts",
    "arguments": {
      "space_id": "<space_id>"
    }
  }
}