"author:meob" matching MCP servers:

• Euclid-MCP

  meob

  A

  license

  B

  quality

  A

  maintenance

  MCP server for logical reasoning that turns facts into formal proofs using a deterministic inference engine with Prolog.

  Updated 2 days ago (2026-08-21 23:17 UTC)

  8

  4

  Apache 2.0