open-ontologies

Q: What is open-ontologies?

open-ontologies is Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.. It is categorized as a MCP Server with 1.1k GitHub stars.

Q: What programming language is open-ontologies written in?

open-ontologies is primarily written in Rust. It covers topics such as ai-native, description-logics, formal-verification.

Q: How do I install or use open-ontologies?

You can find installation instructions and usage details in the open-ontologies GitHub repository at github.com/fabio-rovai/open-ontologies. The project has 1.1k stars and 143 forks, indicating an active community.

Q: What license does open-ontologies use?

open-ontologies is released under the MIT license, making it free to use and modify according to the license terms.

by fabio-rovai · MCP Server · ★ 1.1k

About open-ontologies

Open Ontologies A Terraforming MCP for Knowledge Graphs Validate, classify, and govern AI-generated ontologies. Written in Rust. Ships as a single binary. Quick Start · Studio · Benchmarks · IES · Tools · <a href

ai-native description-logics formal-verification infrastructure-as-code isabelle-language knowledge-graph lean lean4 mcp mcp-server

Quick Facts

Stars	1,079
Forks	143
Language	Rust
Category	MCP Server
License	MIT
Quality Score	40.3/100
Open Issues	16
Last Updated	2026-10-17
Created	2026-03-09
Platforms	claude-code, mcp, rust
Est. Tokens	~20648k

Compatible Skills

These tools work well together with open-ontologies for enhanced workflows:

session-graph — semantic(0.37)+complementary+rare_topics+similar_pop+shared_platform (57%)
ontosphere — semantic(0.50)+rare_topics+similar_pop+shared_platform (53%)
ai-native-engineering-manifesto — semantic(0.16)+complementary+rare_topics+similar_pop+shared_platform (45%)

More MCP Server Tools

Explore other popular mcp server tools:

rea ⭐ 335.5k
ECC ⭐ 283.7k
n8n ⭐ 208.0k
everything-claude-code ⭐ 186.4k
dify ⭐ 158.9k
open-webui ⭐ 156.2k
cc-switch ⭐ 146.2k
graphify ⭐ 127.2k
browser-use ⭐ 118.3k
gemini-cli ⭐ 107.5k

View all MCP Server tools →

Popular Rust Agent Tools

cc-switch ⭐ 146.2k · MCP Server
rtk ⭐ 84.0k · AI Tool
herdr ⭐ 44.7k · Codex Skill
Codewhale ⭐ 41.1k · MCP Server
zeroclaw ⭐ 33.0k · Agent Tool

Frequently Asked Questions

What is open-ontologies?

open-ontologies is Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.. It is categorized as a MCP Server with 1.1k GitHub stars.

What programming language is open-ontologies written in?

open-ontologies is primarily written in Rust. It covers topics such as ai-native, description-logics, formal-verification.

How do I install or use open-ontologies?

You can find installation instructions and usage details in the open-ontologies GitHub repository at github.com/fabio-rovai/open-ontologies. The project has 1.1k stars and 143 forks, indicating an active community.

What license does open-ontologies use?

open-ontologies is released under the MIT license, making it free to use and modify according to the license terms.

View on GitHub → Browse MCP Server tools