Skip to main content
Glama

Related Servers

Alternatives to srdcheck

No user-submitted related servers found.

    Related Servers

    • 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
      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.
      6
      17
      Apache 2.0
    • A
      license
      A
      quality
      B
      maintenance
      A deterministic behavior-compatibility layer for AI agents that checks normalized event traces against operating contracts and compares baselines with candidates to catch regressions in approval, stop, scope, recovery, and completion rules.
      4
      MIT
    • 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.
      MIT

    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