FormalSwarm: A Multi-Repository Verification Tool Based on Multi-Agent Systems and Command Execution

FormalSwarm is a multi-agent verification plugin designed for environments such as DeepSeek Harness to validate proposals submitted by agents. It constructs a debate scenario with independent argument writers and critics, adjudicated by a “Seal” based on actual command execution results (exit codes) rather than AI textual confidence, outputting CONFIRM, REVISE, or INCONCLUSIVE. The plugin supports not only code review but also document-driven non-code workflows, such as marketing plan reviews, without requiring a Git repository.