{"apiVersion":"v1","directorySlug":"emergentlaw-mcp-9edfd62a2f","title":"Superspace Diffusion Framework: Interactive Research Navigat","description":"Interactive proof navigator for the Superspace Diffusion Framework. 150 mathematical entities, 333 relations, 8 in-browser experiments. From four axioms (A1–A4) on Wheeler superspace, via the stochastic Takens embedding sufficiency theorem and σ = ℓ_P uniqueness, to diffusional gravity and the sigma-continuum spanning classical mechanics to QED. Dual verification by SymPy and Lean Lite. MCP server at /mcp.","pageUrl":"https://www.mcpbundles.com/skills/emergentlaw-mcp-9edfd62a2f","connectPath":"importable","connectAction":"import_server","catalogListing":false,"bundleSlug":null,"listingKind":"remote_mcp","kind":"provider","transportUrl":"https://emergentlaw.org/mcp","hostedMcpUrl":null,"toolCount":15,"toolInventoryStatus":"observed","refreshedAt":"2026-11-03T13:26:00.516172+00:00","registryName":"org.emergentlaw/emergentlaw-mcp-9edfd62a2f","registryVersion":"2026.11.3","registryEligible":true,"tools":[{"name":"get_overview","description":"Get overview of the Emergent Law proof navigator: entity counts, types, crown theorems, verification coverage, axioms, and citation.","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","properties":{}},"logicalName":"get_overview","displayName":"get_overview","title":"get_overview","annotations":{"untrustedContentHint":true,"readOnlyHint":true}},{"name":"search_entities","description":"Search entities by keyword. Uses TF-IDF keywords, synonym expansion, and scored ranking. Multi-word queries are split and each word is matched independently. Returns up to 20 results ranked by relevance score.","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","required":["query"],"properties":{"query":{"type":"string"},"type_filter":{"enum":["axiom","postulate","assumption","definition","construction","lemma","proposition","theorem","corollary","remark"],"type":"string"}},"additionalProperties":false},"logicalName":"search_entities","displayName":"search_entities","title":"search_entities","annotations":{"untrustedContentHint":true,"readOnlyHint":true}},{"name":"get_entity","description":"Get full details of a proof-graph entity: type, title, statement, equation, proof text (truncated), dependencies, dependents, and verification status.","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","required":["id"],"properties":{"id":{"type":"string"}},"additionalProperties":false},"logicalName":"get_entity","displayName":"get_entity","title":"get_entity","annotations":{"untrustedContentHint":true,"readOnlyHint":true}},{"name":"get_dependency_chain","description":"Get the full derivation chain from axioms to a target entity — the topological ordering of all dependencies.","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","required":["id"],"properties":{"id":{"type":"string"}},"additionalProperties":false},"logicalName":"get_dependency_chain","displayName":"get_dependency_chain","title":"get_dependency_chain","annotations":{"untrustedContentHint":true,"readOnlyHint":true}},{"name":"list_by_type","description":"List all entities of a given type, sorted by importance.","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","required":["entity_type"],"properties":{"entity_type":{"enum":["axiom","postulate","assumption","definition","construction","lemma","proposition","theorem","corollary","remark"],"type":"string"}},"additionalProperties":false},"logicalName":"list_by_type","displayName":"list_by_type","title":"list_by_type","annotations":{"untrustedContentHint":true,"readOnlyHint":true}},{"name":"get_axioms","description":"Get the foundational axioms (A1-A4), postulates, and assumptions from which all theorems derive.","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","properties":{}},"logicalName":"get_axioms","displayName":"get_axioms","title":"get_axioms","annotations":{"untrustedContentHint":true,"readOnlyHint":true}},{"name":"get_verification_status","description":"Get the SymPy (algebraic) and Lean Lite (structural) verification status of an entity.","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","required":["id"],"properties":{"id":{"type":"string"}},"additionalProperties":false},"logicalName":"get_verification_status","displayName":"get_verification_status","title":"get_verification_status","annotations":{"untrustedContentHint":true,"readOnlyHint":true}},{"name":"get_crown_theorems","description":"Get the crown (most important) theorems at the top of the proof hierarchy.","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","properties":{}},"logicalName":"get_crown_theorems","displayName":"get_crown_theorems","title":"get_crown_theorems","annotations":{"untrustedContentHint":true,"readOnlyHint":true}},{"name":"get_experiments","description":"Get information about the sigma-continuum experiments, cosmological probes, and galactic kinematics probes that validate the framework against observational data.","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","properties":{"id":{"type":"string"}},"additionalProperties":false},"logicalName":"get_experiments","displayName":"get_experiments","title":"get_experiments","annotations":{"untrustedContentHint":true,"readOnlyHint":true}},{"name":"get_citation","description":"Get citation information for the research framework (Harvard, APA, BibTeX formats).","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","properties":{}},"logicalName":"get_citation","displayName":"get_citation","title":"get_citation","annotations":{"untrustedContentHint":true,"readOnlyHint":true}},{"name":"get_sympy_script","description":"Return the executable SymPy verification script for a given entity. The script performs algebraic checks (equation identities, dimensional analysis, symbolic substitution) and can be inspected to assess verification completeness.","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","required":["id"],"properties":{"id":{"type":"string"}},"additionalProperties":false},"logicalName":"get_sympy_script","displayName":"get_sympy_script","title":"get_sympy_script","annotations":{"untrustedContentHint":true,"readOnlyHint":true}},{"name":"get_lean_lite","description":"Return the Lean Lite structural verification metadata and generated verification code for a given entity. Checks include acyclicity, foundation reachability, type well-formedness, dependency completeness, and derivation ordering.","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","required":["id"],"properties":{"id":{"type":"string"}},"additionalProperties":false},"logicalName":"get_lean_lite","displayName":"get_lean_lite","title":"get_lean_lite","annotations":{"untrustedContentHint":true,"readOnlyHint":true}},{"name":"get_hpc_code","description":"Return the HPC (MATLAB) verification script associated with an entity. These are definitive high-performance computations (32-core, 300k–1M steps, 15–20 seeds) that validate the proof chain's numerical predictions. The code is copy-pasteable MATLAB — researchers can run it independently for full transparency.","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","required":["id"],"properties":{"id":{"type":"string"}},"additionalProperties":false},"logicalName":"get_hpc_code","displayName":"get_hpc_code","title":"get_hpc_code","annotations":{"untrustedContentHint":true,"readOnlyHint":true}},{"name":"get_experiment_code","description":"Return the canonical Python script, pipeline manifest, and observational data for a specific experiment. Small data files are returned in full. Large data files are stratified-downsampled using the same log-space binning as the canonical probe pipeline, preserving the statistical distribution for reproducible analysis.","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","required":["id"],"properties":{"id":{"type":"string"},"panel":{"type":"string"}},"additionalProperties":false},"logicalName":"get_experiment_code","displayName":"get_experiment_code","title":"get_experiment_code","annotations":{"untrustedContentHint":true,"readOnlyHint":true}},{"name":"get_computed_results","description":"Run an experiment live using server-side Pyodide and return the computed panel data. This produces the same results as the browser-based navigator, enabling verification that independently-run code reproduces canonical outputs. No pre-computed data is stored — every call computes fresh.","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","required":["id"],"properties":{"id":{"type":"string"},"panel":{"type":"string"}},"additionalProperties":false},"logicalName":"get_computed_results","displayName":"get_computed_results","title":"get_computed_results","annotations":{"untrustedContentHint":true,"readOnlyHint":true}}],"toolSource":"directory_preview","agentAction":"both","installLinks":[{"id":"cursor","label":"Cursor","href":"cursor://anysphere.cursor-deeplink/mcp/install?name=Superspace-Diffusion-Framework-Interactive-Research-Navigat&config=eyJ1cmwiOiAiaHR0cHM6Ly9lbWVyZ2VudGxhdy5vcmcvbWNwIn0%3D"},{"id":"vscode","label":"VS Code","href":"vscode:mcp/install?%7B%22name%22%3A%22Superspace-Diffusion-Framework-Interactive-Research-Navigat%22%2C%22type%22%3A%22http%22%2C%22url%22%3A%22https%3A%2F%2Femergentlaw.org%2Fmcp%22%7D"},{"id":"vscode-insiders","label":"VS Code Insiders","href":"vscode-insiders:mcp/install?%7B%22name%22%3A%22Superspace-Diffusion-Framework-Interactive-Research-Navigat%22%2C%22type%22%3A%22http%22%2C%22url%22%3A%22https%3A%2F%2Femergentlaw.org%2Fmcp%22%7D"},{"id":"claude-web","label":"Claude.ai","href":"https://claude.ai/customize/connectors?modal=add-custom-connector&connectorName=Superspace+Diffusion+Framework%3A+Interactive+Research+Navigat&connectorUrl=https%3A%2F%2Femergentlaw.org%2Fmcp"},{"id":"codex","label":"Codex","copyText":"codex mcp add \"Superspace-Diffusion-Framework-Interactive-Research-Navigat\" --url \"https://emergentlaw.org/mcp\""},{"id":"chatgpt","label":"ChatGPT","href":"https://www.mcpbundles.com/docs/integrations/chatgpt"}],"catalogUrl":"https://www.mcpbundles.com/api/directory/v1/servers/emergentlaw-mcp-9edfd62a2f","callUrl":"https://www.mcpbundles.com/api/directory/v1/servers/emergentlaw-mcp-9edfd62a2f/tools/{tool}","mcpServerUrl":"https://emergentlaw.org/mcp","liveCatalogUrl":"https://www.mcpbundles.com/api/directory/v1/servers/emergentlaw-mcp-9edfd62a2f?live=1"}