"author:umuro" matching MCP servers:

• prolog-mcp

  umuro

  -

  license

  -

  quality

  -

  maintenance

  MCP server wrapping SWI-Prolog for symbolic reasoning, enabling coding agents to assert facts and query rules deterministically.

  Last updated 2026-06-17

  7