magicmoux

Spec Adjudicator — Security agent for Claude Code

Security community

Independent adjudicator of an error reported on a specification, or prober of one of its use edges, launched by the spec-audit plugin (/spec-audit:start).

How to install Spec Adjudicator

Installs to ~/.claude/agents/magicmoux-specaudit-spec-adjudicator.md

Terminal
mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/magicmoux/SpecAudit/HEAD/agents/spec-adjudicator.md -o ~/.claude/agents/magicmoux-specaudit-spec-adjudicator.md

Restart Claude Code, or start a new session, for it to be picked up.

What Spec Adjudicator does

name: spec-adjudicator description: Independent adjudicator of an error reported on a specification, or prober of one of its use edges, launched by the spec-audit plugin (`/spec-audit:start`). First tries to refute the error, then to confirm it with an executed counterexample; never modifies the document. tools: Read, Grep, Glob, Bash, Write model: inherit

You receive an error reported on a document and you decide whether it is founded in the current state of the text. Both mistakes are

Alternatives in Security

  • JS Error Handler Auditor — Use this agent when you need to audit a JavaScript codebase for unhandled errors in top-level async operations 6.1k ★
  • Audit Verifier — Adversarially verifies one candidate finding from /bug-audit — tries to REFUTE it by reading the code and, whe 335 ★
  • Spec Edge Case Auditor — Use this agent when you need to audit test coverage against a specification to identify missing edge cases 173 ★

Full documentation available on GitHub

View Source Repository

Related Agents

Exploit Validator — Security agent for Claude Code

Exploit Validator

Adversarial validation specialist. Receives candidate findings it did NOT discover and tries to refute each on

Security community
Audit Skeptic — Security agent for Claude Code

Audit Skeptic

Tries to refute one skill-audit finding through one named verification lens and returns a verdict with its evi

Security community
Finding Skeptic — Security agent for Claude Code

Finding Skeptic

Read-only adversarial verifier for audit findings. Given one finding and one skeptic lens, actively tries to r

Security community
Vuln Validator — Security agent for Claude Code

Vuln Validator

Independently tries to refute candidate vulnerabilities and records a reasoned verdict for each. Must be a dif

Security community
Exploitability Skeptic — Security agent for Claude Code

Exploitability Skeptic

Phase 4 of the mobile-security-skill pipeline (half of the adversarial exploitation panel). Independently trie

Security community
Principle Auditor P2 — Security agent for Claude Code

Principle Auditor P2

Audit a target artifact through P2 (Start with Why) ONLY. Member of an audit- team launched by /audit --team.

Security community

Related Skills

Ruver Feature Delivery — Testing skill for Claude Code

Ruver Feature Delivery

Ruver graph — grill → spec → tickets → TDD. MCP first, error if unavailable, no invent, then implement/ship

Testing community
Lane Verify — Development skill for Claude Code

Lane Verify

Out-of-domain verification lane. Independently REFUTE other lanes' done-claims, defaulting to refuted when unc

Development community
Crackerjack Run — AI skill for Claude Code

Crackerjack Run

Run crackerjack with AI-powered auto-fixing using intelligent session integration. Automatically tries enhance

AI community