adversary-gate
Related Servers
Alternatives to adversary-gate
No user-submitted related servers found.
Related Servers
- AlicenseAqualityAmaintenanceEnables verification of AI coding agent self-reports against git diff truth and a deterministic gate, producing pass/regenerate/reject directives to ensure claimed work matches actual changes.6AGPL 3.0
- AlicenseAqualityAmaintenanceEnables Claude to independently check an AI agent's work in a local git repository by recording a baseline, running only the checks relevant to the changed files, and cross-checking what the agent claimed. Returns a compact, evidence-labelled report with a verdict and a ready-to-paste next prompt, so unverified success claims can't slip through.8MIT
- AlicenseNot gradedqualityAmaintenanceA runtime gate for coding agents. Blocks the tool calls that wreck a repo (force-push main, rm -rf, secret exfiltration, CI wipe) and lets normal build and commit work through. Machine-checked git-branch core (z3); the rest is high-precision heuristics. Tested on 3,790 real CI commands, 0 false blocks.1MIT
- AlicenseBqualityAmaintenanceDeterministic, offline root-cause analysis for coding agents: find the commit that introduced a bug, and verify a fix is complete before committing.116MIT
- AlicenseNot gradedqualityBmaintenanceEnables deterministic evaluation of coding agents by exposing controlled repository tools and returning structured verification reports with pattern checks and repeat-run comparisons.MIT
- AlicenseNot gradedqualityBmaintenanceEnables AI agents to investigate and repair Python/pytest repositories in isolated Git worktrees with audit trails, without modifying the original repository.MIT
TDQS
Scored across 2 tools
verify_repo executes tests and judges the working tree, while gate_policy returns read-only enforcement information. These purposes are completely distinct with no overlap, so an agent can easily select the right tool.
Both names use snake_case, but verify_repo follows a clear verb_noun pattern while gate_policy is a bare noun phrase. This mixes action-oriented and resource-oriented conventions, though both remain readable.
With only two tools, the surface feels thin even for a focused verification server. The tools are well-chosen but leave no room for auxiliary operations like baseline introspection.
The core verification and policy-reading operations are present, covering the main lifecycle for an adversary gate. Minor gaps exist, such as retrieving baseline details or historical gate results, but agents can work around them.