MCPVault

invalidate_upstream

MCP tool from Hypotree by tygryso

Revert VERIFIED status from parents based on child failures

How to use it

invalidate_upstream is exposed by the Hypotree MCP server. Add the server to your MCP client (Claude Desktop, Cursor, Windsurf and others), and the invalidate_upstream tool becomes available to the model automatically. See the full listing for setup details and every tool this server provides.

Install Hypotree

$uvx hypotree
FULL HYPOTREE LISTING

Other tools in Hypotree (13)

get_active_claims

List nodes with active leases

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

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