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
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
Claude Code Reset
Backup-first CLI to inspect and reset Claude Code local state (credentials, account/billing cache, telemetry,
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
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
Domain Agent
Creates domain layer artifacts for a NestJS bounded context — entities (AggregateRoot), value objects, domain