Hypotree MCP Server

MCP server: persistent, self-revising hypothesis-DAG for agentic R&D

Local serverstdioPython

What is the Hypotree MCP Server?

MCP server: persistent, self-revising hypothesis-DAG for agentic R&D

What the server does

A persistent, self-revising hypothesis DAG for agentic R&D — exposed as an MCP server.

  • Write-back belief revision — — an ATMS-style engine (de Kleer, 1986) that propagates evidence failures upstream through the dependency graph
  • Cascading prune — — invalidating a parent hypothesis instantly transitions its entire subtree to PRUNED. No tokens spent on dead branches
  • Exclusion-group inference — — confirming one member of a mutually exclusive group retires the rest as EXHAUSTED without probing them
  • Deduction by elimination — — last-man-standing: when all but one alternative in an exclusion group are refuted, the survivor is VERIFIED without a probe
  • Thompson Sampling navigation — — Beta-distribution sampling over the open frontier, giving bounded worst-case regret (no catastrophic lock-in)
  • Conflict resolution via differential ablation — — when an integration test fails but every component passes alone, the engine rebuilds the failing combination one swap at a time to pinpoint the culprit

Recorded tools

  • create_hypotheses — Create one or many nodes with parent_ids, exclusion_group, is_goal
  • get_next_targets — Thompson Sampling — returns the next hypothesis to test, under a lease
  • record_evidence — Record experiment results; triggers write-back propagation
  • generate_learning_path — What we learned, in order, and what it cost — separates conclusions an experiment paid for from ones the engine inferred free
  • get_workspace_info — Which belief state you are connected to and which layer chose it — start here when the graph is unexpectedly empty
  • update_status — Manually set node status (rarely needed — the engine does it)
  • get_dag_context — Get a subgraph view for the agent's context window
  • render_dag_map — Mermaid.js diagram of the current belief state
  • get_goal_status — Check whether the goal node is met
  • get_conflicts — List unresolved conflicts (integration failures)
  • suggest_discriminating_experiment — For a conflict, suggest the swap that separates the culprits
  • list_nodes — List/filter nodes by status, depth, or exclusion group
  • get_evidence_history — Full evidence trail for a node
  • get_active_claims — List nodes with active leases

More MCP options

Compare MCP servers by category, or browse hosted MCP servers if you prefer an endpoint over a local process.

Maintainer setup documentation.

Recorded tools

Check the linked publisher documentation and your connected client's tool list. Names and availability can vary with the server version and account permissions.

ToolWhat it does
get_workspace_infoWhich belief state you are connected to and which layer chose it — start here when the graph is unexpectedly empty
update_statusManually set node status (rarely needed — the engine does it)
get_dag_contextGet a subgraph view for the agent's context window
render_dag_mapMermaid.js diagram of the current belief state
get_conflictsList unresolved conflicts (integration failures)
suggest_discriminating_experimentFor a conflict, suggest the swap that separates the culprits
what_would_change_my_mindName the cheapest experiments that would overturn a goal's current conclusion, weakest evidence first
list_nodesList/filter nodes by status, depth, or exclusion group
get_evidence_historyFull evidence trail for a node
get_active_claimsList nodes with active leases
renew_claimExtend a lease on a node
release_claimsRelease one or all leases
invalidate_upstreamRevert VERIFIED status from parents based on child failures
verify_upstreamPropagate confirmation up the dependency chain

How to install the Hypotree MCP Server

{
  "mcpServers": {
    "hypotree": {
      "command": "uvx",
      "args": [
        "hypotree"
      ],
      "env": {
        "HYPOTREE_WORKSPACE_ID": "my-project"
      }
    }
  }
}

From the project documentation. Replace placeholders and example paths before connecting.

Configuration

VariableDescriptionRequired
HYPOTREE_WORKSPACE_IDDeclared in the maintainer’s client configuration.Check documentation

Example prompts to try

  • “Use Hypotree to create hypotheses.”
  • “Use Hypotree to get next targets.”
  • “Use Hypotree to record evidence.”

Frequently asked questions

MCP server: persistent, self-revising hypothesis-DAG for agentic R&D Confirm the tools offered by your installed version in the connected client. Tool availability and permissions depend on the server and account configuration.