Skip to content
plugmcp
DirectorySkillsCategoriesBlog
EN/中文
Sign inSign up
Directory/fabio-rovai
MCP server

Open Ontologies

Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.

by fabio-rovai1.0k starsMITGitHubWebsite
ai-nativedescription-logicsformal-verificationinfrastructure-as-codeisabelle-languageknowledge-graphleanlean4ontologyowlowl2reasoning

Summary

Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.

Tools, access, and transport

Transport
stdio
API key
None listed
Pricing
Not listed

No tool list on this record yet.

Alternatives

  • Lightswind UI Library — The AI-native CLI-first React component library. 160+ animated, accessible, production-ready components with MCP Server support for Cursor, Claude & GitHub Copilot. Copy-paste architecture — you own t
  • Pasal — Pasal.id - The first open, AI-native Indonesian legal platform. MCP server + REST API + web app giving AI grounded access Indonesian laws.
  • Markplane — AI-native, markdown-first project management. Your repo is the project manager.
  • Reshapr — The open source, no-code MCP Server for AI-Native API Access

FAQ

How do I install Open Ontologies?
Copy the stdio config for Cursor, Claude Desktop, Claude Code, or VS Code on this page. It uses the publisher's install, not a PlugMCP proxy.
Does Open Ontologies need an API key?
No required environment variable is listed on this record.
What transport does Open Ontologies use?
Open Ontologies runs locally over stdio.
When was Open Ontologies last checked?
Last checked 2026-10-16. Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.

Last checked 2026-10-16. Publisher: fabio-rovai.

Power your agent

Add this server

Install from the publisher. Not a PlugMCP endpoint.

No packaged release in the registry yet. Follow the repository README.

Provider
Step-by-step: add this in Claude

Remote URL or a command on your machine? How the two installs differ

Run on PlugMCP

Host a copy with our keys and logs.

A new server you create. It is not this listing's official endpoint. Use the publisher install when you want their URL and their credentials.

Launch
Related MCP

More like this

View more

  • Lightswind UI Library

    codewithMUHILAN

    The AI-native CLI-first React component library. 160+ animated, accessible, production-ready components with MCP Server support for Cursor, Claude & GitHub Copilot. Copy-paste architecture — you own t

    1.1k starsLocalai-nativeanimated-components

  • Pasal

    ilhamfp

    Pasal.id - The first open, AI-native Indonesian legal platform. MCP server + REST API + web app giving AI grounded access Indonesian laws.

    278 starsLocalai-nativeanthropic
  • M

    Markplane

    zerowand01

    AI-native, markdown-first project management. Your repo is the project manager.

    188 starsLocalai-nativeclaude-code
Related skills

Skills nearby

View all

  • rea

    morluto

    Reverse engineer anything with agents, from app behavior down to native binaries.

    286.0k stars

  • rea-changelog-update

    morluto

    Prepare or rewrite REA release changelogs and GitHub release notes from pinned Git history, with verified contributor thanks and Release Please synchronization.

    285.7k stars

  • rea-tool-design

    morluto

    Design or change REA investigation tools, CLI/MCP contracts, provider capabilities, and Evidence semantics.

    285.7k stars

Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.

Suggested
  • Lightswind UI LibraryThe AI-native CLI-first React component library. 160+ animated, accessible, production-ready components with MCP Server support for Cursor, Claude & GitHub Copilot. Copy-paste architecture — you own t
  • PasalPasal.id - The first open, AI-native Indonesian legal platform. MCP server + REST API + web app giving AI grounded access Indonesian laws.
  • M
    MarkplaneAI-native, markdown-first project management. Your repo is the project manager.

README is not crawled yet. Open the repository

Suggested
  • Lightswind UI LibraryThe AI-native CLI-first React component library. 160+ animated, accessible, production-ready components with MCP Server support for Cursor, Claude & GitHub Copilot. Copy-paste architecture — you own t
  • PasalPasal.id - The first open, AI-native Indonesian legal platform. MCP server + REST API + web app giving AI grounded access Indonesian laws.
  • M
    MarkplaneAI-native, markdown-first project management. Your repo is the project manager.
How do I install Open Ontologies?
Copy the stdio config for Cursor, Claude Desktop, Claude Code, or VS Code on this page. It uses the publisher's install, not a PlugMCP proxy.
Does Open Ontologies need an API key?
No required environment variable is listed on this record.
What transport does Open Ontologies use?
Open Ontologies runs locally over stdio.
When was Open Ontologies last checked?
Last checked 2026-10-16. Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.
Suggested
  • Lightswind UI LibraryThe AI-native CLI-first React component library. 160+ animated, accessible, production-ready components with MCP Server support for Cursor, Claude & GitHub Copilot. Copy-paste architecture — you own t
  • PasalPasal.id - The first open, AI-native Indonesian legal platform. MCP server + REST API + web app giving AI grounded access Indonesian laws.
  • M
    MarkplaneAI-native, markdown-first project management. Your repo is the project manager.

No tool list yet. Remote servers get one after the first health check.

Suggested
  • Lightswind UI LibraryThe AI-native CLI-first React component library. 160+ animated, accessible, production-ready components with MCP Server support for Cursor, Claude & GitHub Copilot. Copy-paste architecture — you own t
  • PasalPasal.id - The first open, AI-native Indonesian legal platform. MCP server + REST API + web app giving AI grounded access Indonesian laws.
  • M
    MarkplaneAI-native, markdown-first project management. Your repo is the project manager.
plugmcp

Plug any tool into any agent. MCP servers for people who do not write servers. Gateway for volume, n8n for apps.

  • github.com/TODO
  • x.com/TODO
  • linkedin.com/company/TODO

PlugMCP, 2026

Product
  • Browse
  • Install
  • Host your own
  • Voice mode
  • Browser
Directory
  • All MCP servers
  • Agent skills
  • Categories
  • New
  • Voice
  • Submit a server
Developers
  • Docs
  • Blog
  • What is MCP
  • What is WebMCP
  • Status
Company
  • About
  • Contact
  • Terms
  • Privacy
  • DPA
  • [email protected]