Musubix MCP Server

MUSUBIX Ontology Reasoning MCP - OWL 2 RL inference and SPARQL query

Local serverstdioTypeScript

What is the Musubix MCP Server?

MUSUBIX Ontology Reasoning MCP - OWL 2 RL inference and SPARQL query

What you get

MUSUBIX is an innovative AI coding system that integrates Neural (LLM) and Symbolic (Knowledge Graph) reasoning. It combines MUSUBI SDD methodology with Git-native knowledge management to support high-quality software development.

  • 🧠 Neuro-Symbolic Integration - Fusion of LLM creativity and knowledge graph precision
  • 📂 Git-Native Knowledge - File-based knowledge graph management (v3.0.0)
  • 📊 DFG/CFG Analysis - Data flow and control flow graph extraction for TypeScript/JavaScript
  • 🧮 Lean 4 Integration - Formal theorem proving with EARS-to-Lean conversion
  • 📚 Library Learning - DreamCoder-style hierarchical abstraction and pattern compression
  • 🔍 Neural Search - Neural-guided program synthesis with beam search

Configuration and credentials

  • Node.js >= 20.0.0 - npm >= 10.0.0 - TypeScript >= 5.3

More MCP options

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

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
pattern_extractExtract patterns from code
pattern_compressAbstraction and compression of patterns
pattern_storeSave to pattern library
pattern_querySearch and retrieve patterns
pattern_consolidateConsolidate similar patterns
ontology_queryQuery ontology graph
ontology_inferExecute ontology-based inference

How to install the Musubix MCP Server

{
  "mcpServers": {
    "ontology": {
      "command": "npx",
      "args": ["-y", "npx"]
    }
  }
}

Add to claude_desktop_config.json, then restart Claude Desktop.

Configuration

  • Node.js >= 20.0.0 - npm >= 10.0.0 - TypeScript >= 5.3

Example prompts to try

  • “Use Musubix to pattern extract.”
  • “Use Musubix to pattern compress.”
  • “Use Musubix to pattern store.”

Frequently asked questions

MUSUBIX Ontology Reasoning MCP - OWL 2 RL inference and SPARQL query Confirm the tools offered by your installed version in the connected client. Tool availability and permissions depend on the server and account configuration.