Related Servers

No user-submitted related servers found.

Related Servers

• Euclid-MCP

  Euclid-BG

  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 9 hours ago (2026-09-24 01:43 UTC)

  8

  132 PyPI

  6

  Apache 2.0

• incident-triage

  balachoudry-tech

  F

  license

  -Not graded

  quality

  C

  maintenance

  An MCP server that helps engineers investigate service incidents using semantic log search, error aggregation, RAG-based diagnosis, and runbook recommendations.

  Updated 2 months ago (2026-08-08 14:22 UTC)

  -

• que-paso-ayer

  franmelx

  A

  license

  -Not graded

  quality

  A

  maintenance

  MCP server that helps software teams track and understand technical debt, recurring issues, project dependencies, and real-time agent handoffs through a causal knowledge graph.

  Updated a month ago (2026-08-24 03:21 UTC)

  3 npm

  1

  Apache 2.0

• Euclid-MCP

  snegi26

  A

  license

  A

  quality

  C

  maintenance

  Deterministic logical reasoning server for MCP clients that compiles facts, rules, and queries to Prolog and returns exact answers with proof trees.

  Updated 2 months ago (2026-07-27 22:04 UTC)

  4

  MIT

• prolog-mcp

  umuro

  F

  license

  A

  quality

  D

  maintenance

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

  Updated 3 months ago (2026-06-17 13:38 UTC)

  7

  7

  -

• ProofOps

  Lorenzo-Holmes

  A

  license

  -Not graded

  quality

  C

  maintenance

  MCP server enabling evidence-driven multi-agent incident management with fault closure workflows, including diagnosis, approval, execution, verification, rollback, and audit-chain tracking.

  Updated a month ago (2026-08-10 04:48 UTC)

  Apache 2.0