{
  "name": "emergent-law-navigator",
  "version": "4.3.0",
  "description": "MCP server for The Emergent Law research navigator \u2014 explore a 407-entity proof graph deriving quantum gravity, black hole thermodynamics, cosmology, and galactic dynamics from four axioms. Features scored keyword discovery search, SymPy algebraic verification, Lean Lite CIC structural verification, and 14 live experiments. Every response includes citation and licence provenance.",
  "author": "Garcia, Perea Dur\u00e1n, Venezia & Conradie (2026)",
  "homepage": "https://www.emergentlaw.org",
  "repository": "https://doi.org/10.48550/arXiv.2603.20423",
  "license": "All rights reserved \u2014 University College London (2026)",
  "transport": {
    "streamable_http": {
      "url": "https://www.emergentlaw.org/mcp"
    }
  },
  "connect": {
    "claude_ai": {
      "description": "Connect from Claude (claude.ai, Claude Desktop, or Claude mobile). Available on Free, Pro, Max, Team, and Enterprise plans.",
      "steps": [
        "Open Claude at claude.ai (or the Claude Desktop or mobile app)",
        "Click the '+' button in the lower-left corner of the chat",
        "Select 'Connectors', then click 'Add custom connector'",
        "Enter the URL: https://www.emergentlaw.org/mcp",
        "Click 'Add' \u2014 no authentication is required",
        "In any conversation, click '+' \u2192 Connectors and enable 'emergent-law-navigator'"
      ],
      "no_authentication": true
    },
    "claude_code": {
      "description": "Connect from Claude Code, Cursor, or Windsurf via mcp-remote.",
      "config": {
        "mcpServers": {
          "emergent-law": {
            "command": "npx",
            "args": [
              "-y",
              "mcp-remote",
              "https://www.emergentlaw.org/mcp"
            ]
          }
        }
      }
    }
  },
  "examples": [
    {
      "query": "What are the axioms of the stochastic spacetime framework?",
      "tool": "get_axioms",
      "description": "Returns the 4 foundational axioms (A1-A4) plus postulates and assumptions from which all 407 entities are derived."
    },
    {
      "query": "Trace the derivation of the Hawking temperature from first principles.",
      "tool": "get_dependency_chain",
      "parameters": {
        "id": "T3"
      },
      "description": "Returns the complete topological chain from axioms A1-A4 through lemmas and definitions to Theorem T3 (Hawking temperature)."
    },
    {
      "query": "Show me the SymPy verification script for the stochastic embedding theorem.",
      "tool": "get_sympy_script",
      "parameters": {
        "id": "SEST"
      },
      "description": "Returns the self-contained Python script that algebraically verifies SEST \u2014 the crown theorem of Part I."
    }
  ],
  "tools": [
    {
      "name": "get_overview",
      "description": "Navigator statistics: entity counts, types, crown theorems, verification coverage"
    },
    {
      "name": "search_entities",
      "description": "Scored keyword search with TF-IDF keywords and synonym expansion"
    },
    {
      "name": "get_entity",
      "description": "Full details of a proof-graph entity by ID"
    },
    {
      "name": "get_dependency_chain",
      "description": "Derivation chain from axioms to target entity"
    },
    {
      "name": "list_by_type",
      "description": "List all entities of a given type"
    },
    {
      "name": "get_axioms",
      "description": "The foundational axioms A1-A4"
    },
    {
      "name": "get_verification_status",
      "description": "SymPy + Lean Lite verification status"
    },
    {
      "name": "get_crown_theorems",
      "description": "The major crown theorems"
    },
    {
      "name": "get_experiments",
      "description": "Sigma-continuum experiments and galactic probes"
    },
    {
      "name": "get_citation",
      "description": "Citation in Harvard, APA, BibTeX formats"
    },
    {
      "name": "get_sympy_script",
      "description": "Full executable SymPy algebraic verification script"
    },
    {
      "name": "get_lean_lite",
      "description": "Lean Lite structural verification metadata and generated script"
    },
    {
      "name": "get_experiment_results",
      "description": "Experiment script, pipeline manifest, and raw data file references"
    }
  ]
}