MCP servers from io.github.meob
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
