DeepSeek Harness PluginManifest Valid

formalswarm

Repo-agnostic multi-agent adversarial validation plugin with deterministic test exit code verification.

Developer ToolsSecurity & PolicySkills & Workflows

2GitHub Stars0ForksUpdated2026-09-17

Source

Install

$ dsh plugin --profile <profile> add /path/to/FormalSwarm

Plugin Overview & Capabilities

AI-assisted organization based on the public repository snapshot. The content must be grounded in source evidence and does not replace compatibility or security verification.

source-grounded

FormalSwarm provides structured multi-agent debate and validation for repositories or structured document sets across DeepSeek Harness, Claude Code, and ZCode. It coordinates parallel thesis writers, adversarial critics, and seal verifiers whose final verdict (CONFIRM, REVISE, or INCONCLUSIVE) is deterministically computed from real command execution and exit codes rather than subjective model prose.

Key Capabilities

Orchestrates multi-agent debate cycles across Thesis, Antithesis, Synthesis, and Seal phases
Computes deterministic verdicts (CONFIRM, REVISE, INCONCLUSIVE) based on real command exit codes and case counts
Detects empty test runs (empty green), silent agent failures, and ungrounded objections
Profiles repositories across Python, Node.js, Rust, Go, Java, Ruby, PHP, and Make targets
Supports DeepSeek Harness native workflow execution alongside Cordis patch bundle integration
Provides offline validation gates to test verification rollups without agent API calls

Useful For

Stress-testing code modifications and pull requests with adversarial critic agents
Validating repository changes against deterministic command suites and automated test suites
Conducting document-driven problem solving, constraint verification, and structured plan reviews

Who It Fits

Software engineers seeking rigorous, multi-agent automated code verification
Teams requiring deterministic, machine-checked audit trails for AI agent proposals

Documented Limitations

Cannot evaluate unmeasurable or subjective claims that lack runnable command-line checks
Does not execute commands concurrently against shared services
Confines subagent working files to designated scratch directories

DSH Compatibility

Version-specific runtime evidence collected by DSH Plugin. A missing result means we have not tested that combination yet.

Not tested yetNo runtime compatibility tests have been published yet.

Security Signals

Objective signals discovered from package metadata and source inspection. These are not a guarantee that a plugin is safe.

Dependency Counts

package.json declares 0 runtime, 0 development, 0 peer, and 0 optional dependencies.

info

Dsh Bundle Declared

package.json declares DSH bundle metadata.

info

License Declared

GitHub reports the repository license as MIT.

info

Package Manifest Available

A root package.json was captured and can be inspected by the registry.

info

Source Available

Public GitHub source metadata is available for this registry snapshot.

info

Source & Registry Notes

Public provenance, Registry classification, and the latest source check for this entry, kept separate from runtime verification.

Source repository: fashionmascherine-svg/formalswarm
Registry source: GitHub · dsh-plugin topic
Registry classification: Plugin Bundle
Source checked: 458719d · 2026-09-19

This project is independently indexed from public source information. DSH Plugin is not affiliated with DeepSeek or the plugin author. Always check the author repository before installation.