open-ontologies
An MCP server for planning, applying, and rolling back changes to a production ontology, with a Rust engine for OWL/RDFS reasoning, SHACL validation, and SPARQL, producing Lean-4-verifiable derivation certificates.
Connects to: MCP, Claude, Cursor · · MIT 944★
Use it with an AI agent
Loadbay is an MCP server, so an agent can search the catalog and find this harness:
claude mcp add --transport http loadbay https://loadbay.xyz/api/mcp
- Source: https://github.com/fabio-rovai/open-ontologies
- This harness as JSON: /api/harnesses/open-ontologies
- Agent setup: /setup.md
- Browse all 850+ harnesses on Loadbay