Skip to main content
Glama

Related Servers

Alternatives to srdcheck

No user-submitted related servers found.

    Related Servers

    • F
      license
      Not graded
      quality
      B
      maintenance
      Enables AI agents to keep append-only, hash-chained audit ledgers of their work — starting a ledger, appending steps, verifying each link and reporting the first broken line, and replaying entries in order — so users can confirm what an agent claims it did was never edited. Also replays game recordings through versioned deterministic kernels and reports whether their chain head is reproduced, not reproduced, or broken.
      387 npm
      -
    • A
      license
      Not graded
      quality
      B
      maintenance
      Enables users to trace regulatory rule changes to affected parties and required actions through deterministic safety gates, returning dated action plans and hash-linked evidence records. Supports 12 MCP tools over stdio or streamable HTTP for source comparison, obligation decomposition, scope assessment, planning, and evidence validation across multiple domain packs.
      MIT
    • A
      license
      Not graded
      quality
      B
      maintenance
      Enables deterministic verification of AI agent decisions and actions, providing PASS/FAIL/ABSTAIN verdicts with replayable proofs and an optional signed receipt ledger.
      5 npm
      Apache 2.0
    • A
      license
      A
      quality
      D
      maintenance
      A deterministic MCP server that guards AI/agent output by detecting secrets, injection, and PII in ~85µs with zero dependencies. Gives a clear ship/block verdict and runs locally or hosted.
      2
      Apache 2.0
    • 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.
      Apache 2.0
    • A
      license
      A
      quality
      A
      maintenance
      Deterministic AI safety policy engine with Z3 formal verification. Write, verify, simulate, and enforce machine-verifiable safety constraints for AI agents. Completely outside the LLM.
      11
      27
      Apache 2.0

    TDQS

    A3.6/5.0

    Scored across 24 tools

    Disambiguation4/5

    Most tools target distinct rules (ability checks, saving throws, concentration, grappling, etc.), but `attack_modifiers` and `roll_compose` both handle advantage/disadvantage composition and could be confused. The tic-tac-toe tools are clearly separated by the `ttt_` prefix.

    Naming Consistency3/5

    Names use a mix of noun phrases (`attack_modifiers`, `creature_stats`), noun-verb (`check_make`, `event_apply`), and single nouns (`jurisdiction`). The `ttt_` prefix is consistent, but overall there is no uniform verb_noun or noun_verb pattern.

    Tool Count3/5

    24 tools is on the heavy side, and the two tic-tac-toe tools do not belong in an SRD rules server, inflating the count. The SRD tools themselves cover a broad rules domain, but the set would be better scoped without the ttt tools.

    Completeness4/5

    The SRD tools cover major mechanics: checks, saves, attacks, grappling, help, turn economy, spell facts, and encounter budgets. Minor gaps include no dedicated initiative or death-save resolution (death-save is only an event type), but the core is well covered.

    Maintenance

    ActivityMaintained
    ResponsivenessResponsive