catalog entry
Euclid-MCP
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
signals
- stars
- n/a
- commits 3mo
- n/a
- last release
- 0.4.52026-08-21
- status
- active
Stars count attention, not fitness. The release date and the three-month commit count say more about whether anyone is still maintaining this.
No Wellworn verdict has been tested against Euclid-MCP yet, so nothing on this page is a recommendation.
also tagged mcp
- $THREE Token0 stars
- .FAF Context0 stars
- .FAF Context0 stars
- .NET Debugger for MCP0 stars
- .NET MCP Server0 stars
- licence
- not recorded
- categories
- mcp