formalswarm

DeepSeek HarnessClaude Code Workflow & Automation Low risk

Runs a thesis-antithesis-seal debate whose verdict is computed from real command exit codes and case counts, never from agent prose.

运行「正题—反题—封印」三方辩论，其结论由真实命令的退出码与用例数计算得出，绝不采信智能体的文字陈述。

How to install

DeepSeek Harness dsh plugin add github:fashionmascherine-svg/formalswarm

Claude Code git clone https://github.com/fashionmascherine-svg/formalswarm ~/.claude/skills/formalswarm

About

FormalSwarm **Don't settle for an AI answer. Make it survive a debate — and a check.** FormalSwarm helps agents propose solutions, challenge assumptions, and verify the claims that can actually be tested. Start with **a codebase or a folder of documents**: a change to review, a funnel to design, or a plan to stress-test. Independent agents write *theses*, adversarial critics challenge them, and a *seal* runs real commands. A deterministic rollup computes CONFIRM, REVISE, or INCONCLUSIVE from reported checks, exit codes and case counts — not a confidence score. The verdict covers the checks you…

GitHub ↗

Recommendation signals

48 Tool quality · Based on stars, downloads, maintenance, security and docs

– User interest · Adjusted by in-site views, install copies and download clicks

48 Overall

0views

0unique visitors

0install copies

0download clicks

0outbound clicks

Links

GitHub ↗ Report issue ↗

Basic safety check

Findings: curated 收录但无 npm 包/安装命令
Sources: curated:awesome-dsh-plugin.com, curated:awesome-dsh-plugin/awesome-dsh-plugin
Topics: adversarial, agentic, ai-agents, claude-code, code-review, deepseek, deepseek-harness, developer-tools, dsh-plugin, dsh-plugin-market, dsh-plugins, llm, multi-agent, testing, verification, zcode

Related plugins

MCP Server

Score92

agent-device

callstackincubator/agent-device

Mobile app automation and verification for AI coding agents. CLI, MCP server, and typed Node.js API for iOS, Android, HarmonyOS, TV, web, macOS, and Linux.

☆ 4.7K ↓ 508.7K Workflow & Automation ↗

Claude Code New

Score84

tdd-guard

nizos/tdd-guard

Automated TDD enforcement for Claude Code

☆ 2.3K ↓ 60.3K Workflow & Automation ↗

Claude Code

Score82

SuperClaude_Framework

SuperClaude-Org/SuperClaude_Framework

A configuration framework that enhances Claude Code with specialized commands, cognitive personas, and development methodologies.

☆ 23.9K ↓ 102 Workflow & Automation ↗