MCP

Euclid MCP

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

Rivendica questo annuncio

Collega il tuo account GitHub per dimostrare che possiedi o mantieni questo annuncio. Verifichiamo l’accesso al repo automaticamente — la maggior parte dei publisher viene confermata in pochi secondi.

1Collega GitHub

2Invia la tua rivendicazione

3Verifica automatica, oppure esame entro 48 h