get_active_claims

MCP tool from Hypotree by tygryso

List nodes with active leases

How to use it

Project documentation lists get_active_claims for the Hypotree MCP server. Add the server to your MCP client (Claude Desktop, Cursor, Windsurf and others), then check which tools your installed version makes available. Tool availability can depend on configuration and credentials. A server handshake does not verify this tool’s behavior. See the full listing for setup details.

Install Hypotree

$uvx hypotree
FULL HYPOTREE LISTING

Other tools in Hypotree (13)

get_conflicts

List unresolved conflicts (integration failures)

get_dag_context

Get a subgraph view for the agent's context window

get_evidence_history

Full evidence trail for a node

get_workspace_info

Which belief state you are connected to and which layer chose it — start here when the graph is unexpectedly empty

invalidate_upstream

Revert VERIFIED status from parents based on child failures

list_nodes

List/filter nodes by status, depth, or exclusion group

release_claims

Release one or all leases

render_dag_map

Mermaid.js diagram of the current belief state

renew_claim

Extend a lease on a node

suggest_discriminating_experiment

For a conflict, suggest the swap that separates the culprits

update_status

Manually set node status (rarely needed — the engine does it)

verify_upstream

Propagate confirmation up the dependency chain

what_would_change_my_mind

Name the cheapest experiments that would overturn a goal's current conclusion, weakest evidence first