Related Servers

No user-submitted related servers found.

Related Servers

• strand-router

  SanjoyDat1

  -

  license

  -Not graded

  quality

  -Not graded

  maintenance

  Enables AI agents to branch, score, prune, and merge conversation strands with provenance and timeline export. Provides MCP tools and resources for managing parallel exploratory strands.

  Updated 2 months ago (2026-07-22 11:12 UTC)

  -

• nanoGentzen

  DigitLib

  A

  license

  -Not graded

  quality

  C

  maintenance

  Enables AI agents to be governed by formal Gentzen sequent calculus proof trees, with human-in-the-loop approval gates and cryptographic audit trails for consequential actions.

  Updated 23 days ago (2026-09-04 15:33 UTC)

  MIT

• pvc-mcp-server

  096v

  A

  license

  -Not graded

  quality

  C

  maintenance

  A Git-like version control system for AI agent decision tracking, enabling plan commits, diffs, branches, and history.

  Updated 2 months ago (2026-07-26 15:09 UTC)

  Apache 2.0

• korg

  New1Direction

  A

  license

  -Not graded

  quality

  C

  maintenance

  A causally-ordered, rewindable event-ledger for autonomous AI agents, enabling tamper-evident audit, replay, and rollback of agent actions via an MCP server.

  Updated 3 months ago (2026-06-24 22:13 UTC)

  4

  MIT

• agent-replay-debugger-mcp

  CSOAI-ORG

  A

  license

  -Not graded

  quality

  D

  maintenance

  Enables step-debugging, deterministic replay, and signed audit evidence for AI agents, compliant with EU AI Act.

  Updated 3 months ago (2026-06-26 05:26 UTC)

  39 PyPI

  MIT

• Sequential Thinking MCP Server

  coachgruden

  A

  license

  A

  quality

  B

  maintenance

  Enables AI agents to perform dynamic and reflective problem-solving through a chain of thoughts, allowing them to break down complex problems, revise past thoughts, and explore logic branches before reaching a conclusion.

  Updated 3 months ago (2026-07-09 01:55 UTC)

  1

  90,206 npm

  -