Data & search · harness

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