formalswarm

Multi-agent validation for any repository: independent theses, adversarial critics, and a seal whose verdict is computed from real command exit codes — never from an agent's prose. One body, three runtimes: DeepSeek Harness, Claude Code, ZCode.

PluginDeveloperAI ModelsCode review

Verification

L2 · Structured

Risk

Pending

Health

Active

Trust

Bronze

Install verification: No L4/L5 install test yet

L1–L5 verification rules

What it does

Installation

dsh plugin --profile web add github:fashionmascherine-svg/formalswarm

Install method: GitHub · no verification record (L1-L5)

Verification & Compatibility

No verification record yet for this plugin.

• Node.js: not stated
• DSH: not stated
• External credentials: none detected

Author badges

Embed the official badges in your README to showcase security & install-test status:

Security Report

Automated static scan, not manual review.

DSH.SO AUDITNOT SCANNEDac2646

Security reviewAutomated review · daily

NOT SCANNED

No security scan record for this plugin yet. Newly indexed plugins are scanned by the daily pipeline.

0 critical·0 warning·0 info·— files scanned

Version binding

plugin version—

scanned version—

current versionac26467ba425

The scan result is valid for the scanned commit. New commits within 7 days are tolerated (the rating still counts); after 7 days without a rescan the badge shows outdated.

Disclaimer: automated static analysis, not a security guarantee. Always review what you install.

Risk details

• Static heuristic scan: pending

• Dependency vulnerabilities: —

• Hardcoded secrets: —

• Supply chain risks: —

⚠ Static scan not run yet — results will appear here.

Activity

Last commit 2026-09-15 · activity: Active

• Repo created: 2026-09-15

• Stars: ★ 1 · Forks: 0

• Health: Active — committed within last 30 days

Source

GitHub: github.com/fashionmascherine-svg/formalswarm

Plugin notes

What is the formalswarm DeepSeek Harness plugin?

formalswarm is a DeepSeek Harness plugin maintained by @fashionmascherine-svg. It is cataloged on dsh.so as a Developer plugin for Code review tasks, with a public GitHub source, declared install command, and automated static security scan.

How do I install formalswarm?

Run dsh plugin --profile web add github:fashionmascherine-svg/formalswarm in a DeepSeek Harness (dsh) environment. The command is parsed from the plugin manifest, but it has not yet been tested in an isolated sandbox at the L3+ level.

How does the security scan relate to a manual audit?

The scan is automated static analysis of the repository source — a scalable first line of defense that can produce false positives and miss context; it is not a manual security audit. Before using a plugin, review the repository and installed permissions, and combine the scan with the verification level (L4/L5) and health signals.

"DeepSeek Harness (dsh) is an open-source agent harness developed by DeepSeek AI. It uses an architecture where everything is a plugin, and is powered by Cordis."
— DeepSeek Harness README

Sources: GitHub repository · DeepSeek Harness README · security scan data · Maintained by dsh.so · Last updated 2026-09-15