Related Servers

No user-submitted related servers found.

Related Servers

• mcp-ontology-layer

  jairorodriguezarias

  F

  license

  -Not graded

  quality

  B

  maintenance

  Enables local, deterministic semantic operations on OWL/RDF ontologies, including Description Logic reasoning, SPARQL querying, TBox/ABox mutation, and interactive graph visualization via an MCP interface.

  Updated 9 days ago (2026-08-25 12:56 UTC)

• prolog-mcp

  umuro

  F

  license

  A

  quality

  C

  maintenance

  MCP server wrapping SWI-Prolog for symbolic reasoning, enabling coding agents to assert facts and query rules deterministically.

  Updated 3 months ago (2026-06-17 13:38 UTC)

  7

  7
• 

  ontoloomofficial

  ExtensityAI

  A

  license

  -Not graded

  quality

  D

  maintenance

  MCP server for building and exploring OWL 2 ontologies using AI agents, with tools for axiom management, structural pattern matching, and persistent selections.

  Updated 3 months ago (2026-06-01 12:44 UTC)

  21

  BSD 3-Clause

• dali2-logic-reasoner

  lollix91

  F

  license

  -Not graded

  quality

  C

  maintenance

  MCP server that exposes the DALI2-Agent-Brain symbolic verification system as tools, allowing MCP clients to submit reasoning problems for formal Prolog-based verification.

  Updated a month ago (2026-07-21 14:24 UTC)

• Cortex

  abbacusgroup

  A

  license

  -Not graded

  quality

  A

  maintenance

  An MCP server for capturing, searching, and synthesizing knowledge objects with formal ontology, reasoning, and hybrid retrieval.

  Updated 2 months ago (2026-07-02 23:19 UTC)

  20

  MIT

• SymKit

  LBurny

  A

  license

  B

  quality

  B

  maintenance

  MCP server for symbolic computation that enables AI agents to perform step-by-step derivations, transform formulas, and verify results with full provenance, combining natural language with formal mathematical operations.

  Updated 2 months ago (2026-07-09 14:19 UTC)

  41

  10

  Apache 2.0