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
| Argument | Type | What it is |
|---|---|---|
fact_id | string | The claim's id: clm_ and a UUID (a bare UUID is read too). |
space_id | string | The 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
| Argument | Type | What it is |
|---|---|---|
page_size | integer | 0 means 100, at most 500. |
page_token | string | From the previous answer's next_page_token; "" for the first page. |
space_id | string | The 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
| Argument | Type | What it is |
|---|---|---|
contradicted | boolean | Only contradicted facts. |
derived | boolean | Only facts a rule derived. |
page_size | integer | 0 means 100, at most 500. |
page_token | string | From the previous answer's next_page_token; "" for the first page. |
space_id | string | The space (a Decisions space id). |
subject | string | Only facts about this subject; empty for any. |
validity | string | Only 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>"
}
}
}