MCP
Euclid MCP
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
Diesen Eintrag beanspruchen
Verbinde dein GitHub-Konto, um zu belegen, dass du diesen Eintrag besitzt oder betreust. Wir prüfen den Repo-Zugriff automatisch — die meisten Publisher sind in Sekunden bestätigt.
1GitHub verbinden
2Anspruch einreichen
3Automatisch verifiziert oder innerhalb von 48 Std. geprüft