Open Ontologies: open-source 'Terraform for knowledge graphs' traces 901 consequences of one-line edits
anselm · x · 2026-10-31
Open Ontologies, a fully open-source project written in Rust and shipped as a single local binary, bills itself as "Terraform for AI knowledge graphs," making AI reasoning verifiable.
Key capabilities:
- Change one ontology line and uncover 901 hidden consequences in 0.04s, previewing the blast radius before applying
- Verify 259 facts and reject a forged one; generate independently checkable proofs (Lean 4 co-cert, Isabelle/HOL)
- Validate RAG claims against their sources
- Integrates with Claude Code, Cursor, Windsurf, VS Code via MCP
More from coding & agent
- Engineer rates 10 kinds of work on 4 automation levels: only PM stays human — kieranklaassen · 2026-10-31
- Against Skill sprawl: why 50 saved prompts beat 50 installed Skills — TruthTellerTom · 2026-10-31
- Rewriting 5 agents as decision workflows: 20 seconds, 2 cents, 19/20 correct — generativist · 2026-10-31
- You May Not Need an Agent: Decision Workflows Did 20 Docs in 20s for 2 Cents — generativist · 2026-10-31
- Softi: a shared cloud computer where you and AI agents work side by side, with 24/7 automations — Small-Let-3937 · 2026-10-31
- Developer adds an AI assistant to GridCraft that runs app commands from plain English — dfinke · 2026-10-31