srdcheck
Related Servers
Alternatives to srdcheck
No user-submitted related servers found.
Related Servers
- AlicenseNot gradedqualityBmaintenanceEnables 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
- AlicenseAqualityDmaintenanceA 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.2Apache 2.0
- AlicenseNot gradedqualityAmaintenanceProvides deterministic decision and constraint evaluation for AI agents. Supports ruleset validation, fact evaluation, and constraint checking via MCP tools.Apache 2.0
- AlicenseAqualityAmaintenanceDeterministic AI safety policy engine with Z3 formal verification. Write, verify, simulate, and enforce machine-verifiable safety constraints for AI agents. Completely outside the LLM.617Apache 2.0
- AlicenseAqualityBmaintenanceA 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.4MIT
- AlicenseNot gradedqualityFmaintenanceEnables 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
Scored across 24 tools
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.
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.
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.
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.