EU

Euclid MCP

Published by meob

Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees

CATEGORY: More to explore
DEPLOYMENT: Local package
LATEST SOURCE VERSION: 0.4.5
SOURCE CHECKED: Sep 4, 2026

Published packages

pypi · euclid-mcp@0.4.5

View source repository