protege-mcp v0.1.2
33 tools (was 26 in 0.1.1).
load_ontology rewritten to fetch/parse off the UI thread and wire the result in with Protégé's own copy-ontology/activate path (no modal load dialogs; a slow remote fetch no longer freezes Protégé). Adds connection_timeout_ms; not undoable.
New tools
rename_entity/delete_entity— rewrite or remove an entity (and its referencing axioms) across the active ontology; undoable.list_reasoners/set_reasoner— list installed reasoner plugins and choose the active one.execute_dl_query— Manchester class expression → reasoner equivalent / sub / super / instances (the DL Query workbench).get_explanations— real justifications (minimal axiom sets) behind an entailment, computed in isolation from the live model.
Install via File ▸ Check for plugins (the registry advertises 0.1.2), or download the jar below into ~/.Protege/plugins and restart Protégé on a Java 17+ JVM.