Related Servers

No user-submitted related servers found.

Related Servers

• decision-table

  tetracoralla

  A

  license

  -Not graded

  quality

  A

  maintenance

  Provides deterministic decision and constraint evaluation for AI agents. Supports ruleset validation, fact evaluation, and constraint checking via MCP tools.

  Updated 8 days ago (2026-09-23 06:43 UTC)

  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

• Gurddy MCP Server

  novvoo

  A

  license

  -Not graded

  quality

  D

  maintenance

  Enables solving Constraint Satisfaction Problems (CSP) like N-Queens, graph coloring, and Sudoku, as well as Linear Programming optimization problems through both MCP tools and HTTP API endpoints.

  Updated a year ago (2025-10-24 03:31 UTC)

  2

  MIT
• 

  Cruxible Coreofficial

  cruxible-ai

  A

  license

  -Not graded

  quality

  A

  maintenance

  Deterministic decision engine with DAG-based receipts. Build entity graphs, query with MCP, get auditable proof.

  Updated 3 days ago (2026-09-27 15:54 UTC)

  17

  Apache 2.0

• worldbrain-mcp

  genesis-plan

  A

  license

  -Not graded

  quality

  F

  maintenance

  Enables AI agents to perform auditable A* reasoning, import world graphs, incorporate physical carrier constraints, and maintain a learning knowledge base through a zero-dependency local MCP stdio service.

  Updated a month ago (2026-08-26 06:34 UTC)

  MIT

• Knoverge

  gynsus

  A

  license

  -Not graded

  quality

  A

  maintenance

  Enables humans and AI agents to share canonical, versioned knowledge through MCP, with auditable provenance, review workflows, and reconciliation.

  Updated 16 hours ago (2026-09-30 05:03 UTC)

  1

  Apache 2.0