$
askskill
.ai
All
MCP
Skills
Bundles
Blog
Creators
Guides
中
← Back
meob
1
MCP
★
4
github ↗
// all assets
MCP
★
4
Euclid-MCP
Turn facts into formal proofs with deterministic Prolog-based logical reasoning.
—
Get
→