fabio-rovai / open-ontologies

Rust CLI and MCP server that plans, applies and rolls back changes to an OWL ontology, reporting blast radius and emitting checkable Lean 4 proofs.

ZSeven-W / openpencil

Open-source vector design tool with an AI prompt-to-canvas workflow, concurrent agent teams, an MCP server, and JSON-based .op design files.