Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
No remote MCP endpoint is published for this listing.
No capability manifest has been published for this listing yet.