Formalswarm Validate — Development skill for Claude Code
Run the offline FormalSwarm validators (zero agent calls).
How to install Formalswarm Validate
Installs to ~/.claude/skills/fashionmascherine-svg-formalswarm-formalswarm-validate/SKILL.md
mkdir -p ~/.claude/skills/fashionmascherine-svg-formalswarm-formalswarm-validate && curl -fsSL https://raw.githubusercontent.com/fashionmascherine-svg/formalswarm/HEAD/commands/formalswarm-validate.md -o ~/.claude/skills/fashionmascherine-svg-formalswarm-formalswarm-validate/SKILL.md Restart Claude Code, or start a new session, for it to be picked up.
What Formalswarm Validate does
description: Run the offline FormalSwarm validators (zero agent calls)
FormalSwarm — prove the protocol offline
FORMALSWARM_ROOT="${CLAUDE_PLUGIN_ROOT:-${ZCODE_PLUGIN_ROOT:-$(node -p "require('path').dirname(require.resolve('formalswarm/package.json'))" 2>/dev/null)}}"
node "$FORMALSWARM_ROOT/core/bin/formalswarm.js" validate
This executes the body against deterministic mocks and exercises the round driver — budget, partitions, synthesis skipping, fail-closed rollup, check
Alternatives in Development
- Epic Validate — Validate epic readiness, dependencies, and coordination policy 243.5k ★
- Offline — PUA 离线模式 — 关闭所有联网反馈/排行榜上报,保留本地 PUA 行为 19.5k ★
- Ccusage — CLI for analyzing Claude Code/Codex usage from local JSONL files 11.8k ★
Full documentation available on GitHub
View Source RepositoryRelated Skills
Validate Consensus
Spawn N independent validators to assess the same feature and synthesize a unified consensus verdict with conf
Offline Telemetry Script
Offline analyzer for Claude Code session transcripts (~/.claude/projects/.jsonl). Pure-stdlib Python, no API c
Clens
Claude Code session capture and analysis. Trace tool calls, detect backtracks, analyze decisions, track edit c
Formalswarm Debate
Open a FormalSwarm debate on this repository (theses, antithesis, seal)
Formalswarm Verdict
Read the last FormalSwarm outcome and decide whether it may be applied
JWT Scan
JWT attack toolkit (offline) — alg:none forgery, RS256→HS256 algorithm confusion, weak-secret crack, static cl
Related Agents
Backlog MCP Validator
Validate the backlog FastMCP server against the CLI. Calls MCP tools natively via the agent-scoped backlog ser
Agent System Reviewer
Orchestrates a full clarc system review by synthesizing results from all component analyzers (agent-quality-re
Consensus Validator
Independent validator that assesses a feature against PASS criteria with its own evidence, unaware of other va