"author:meob" matching MCP servers:

• Euclid-MCP

  meob

  A

  license

  -

  quality

  C

  maintenance

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

  Last updated 2026-07-07

  Apache 2.0