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.
Install verification: runtime verified (L5) · tested on dsh 0.2.1-rc.3 · last checked Install verification details →
Data as of (UTC)
What it doesAI
Multi-agent validation for any repository: independent theses, adversarial critics, and a verdict computed from real command exit codes, not agent prose.
- Multi-agent validation: independent theses and adversarial critics for any repo.
- Verdict from real command exit codes, never from agent prose.
- One body, three runtimes: DeepSeek Harness, Claude Code, ZCode.
Capability tags are AI-inferred or rule-extracted from the README (see badge) — vocabulary-limited, not install-verified. AI = inferred; README = literal keyword from the readme.
Installation
dsh plugin --profile web add github:fashionmascherine-svg/formalswarm#v1.0.0Install method: GitHub · runtime verified (L5) · verified on dsh 0.2.1-rc.3
Verification & Compatibility
Grouped by plugin version: each card lists the dsh versions actually tested against that artifact version and their install verdicts (L5 wins). Untested combinations are omitted — absence means untested, never assumed compatible. L1–L3 are a plugin-level static archive (independent of the dsh version — the same verdict on every dsh row): they sit in each row's level grid next to L4/L5, marked "static", while their evidence is stored once per plugin inside that row's "checks & evidence" instead of being duplicated per version.
External credentials (plugin-level): none detected
○ The author declares no dsh version requirement — install is not blocked by version.
| plugin ＼ dsh | dsh 0.2.1-rc.3 | dsh 0.2.1-rc.2 | dsh 0.2.1-alpha.4 | dsh 0.2.1-alpha.2 | dsh 0.2.0-rc.2 |
|---|---|---|---|---|---|
| v1.0.0 | ✓ | ✓ | ✓ | ✓ | ✓ |
v1.0.0github✓ 10 runtime-verified2026-10-30
https://github.com/fashionmascherine-svg/formalswarm
✓dsh 0.2.1-rc.32026-10-26L5 · runtime verified
- • Node.js: v24.14.0
- • DSH: 0.2.1-rc.3
- • Plugin artifact: github · https://github.com/fashionmascherine-svg/formalswarm#v1.0.0
ID: formalswarm@v1.0.0@dsh0.2.1-rc.3 · profile: l4-sandbox
Issued: 2026-10-26 · expires: 2026-11-02
View checks & evidence
↳ carried from earlier record formalswarm@v1.0.0@dsh0.2.1-rc.5 (l3-fullscan)
↳ carried from earlier record formalswarm@v1.0.0@dsh0.2.1-rc.5 (l3-fullscan)
↳ carried from earlier record formalswarm@v1.0.0@dsh0.2.1-rc.5 (l3-fullscan)
active in loader tree (150 entries)
L1–L3 are plugin-level static conclusions (baseline, identical across dsh versions): evidence is stored once per plugin.
✓dsh 0.2.1-rc.22026-10-19L5 · runtime verified
- • Node.js: v24.14.0
- • DSH: 0.2.1-rc.2
- • Plugin artifact: github · https://github.com/fashionmascherine-svg/formalswarm#v1.0.0
ID: formalswarm@v1.0.0@dsh0.2.1-rc.2 · profile: l4-sandbox
Issued: 2026-10-19 · expires: 2026-10-26
View checks & evidence
↳ carried from earlier record formalswarm@v1.0.0@dsh0.2.1-rc.5 (l3-fullscan)
↳ carried from earlier record formalswarm@v1.0.0@dsh0.2.1-rc.5 (l3-fullscan)
↳ carried from earlier record formalswarm@v1.0.0@dsh0.2.1-rc.5 (l3-fullscan)
active in loader tree (150 entries)
L1–L3 are plugin-level static conclusions (baseline, identical across dsh versions): evidence is stored once per plugin.
✓dsh 0.2.1-alpha.42026-10-16L5 · runtime verified
- • Node.js: v24.14.0
- • DSH: 0.2.1-alpha.4
- • Plugin artifact: github · https://github.com/fashionmascherine-svg/formalswarm#v1.0.0
ID: formalswarm@v1.0.0@dsh0.2.1-alpha.4 · profile: l4-sandbox
Issued: 2026-10-16 · expires: 2026-10-23
View checks & evidence
↳ carried from earlier record formalswarm@v1.0.0@dsh0.2.1-rc.5 (l3-fullscan)
↳ carried from earlier record formalswarm@v1.0.0@dsh0.2.1-rc.5 (l3-fullscan)
↳ carried from earlier record formalswarm@v1.0.0@dsh0.2.1-rc.5 (l3-fullscan)
active in loader tree (150 entries)
L1–L3 are plugin-level static conclusions (baseline, identical across dsh versions): evidence is stored once per plugin.
✓dsh 0.2.1-alpha.22026-10-11L5 · runtime verified
- • Node.js: v24.14.0
- • DSH: 0.2.1-alpha.2
- • Plugin artifact: github · https://github.com/fashionmascherine-svg/formalswarm#v1.0.0
ID: formalswarm@v1.0.0@dsh0.2.1-alpha.2 · profile: l4-sandbox
Issued: 2026-10-11 · expires: 2026-10-18
View checks & evidence
↳ carried from earlier record formalswarm@v1.0.0@dsh0.2.1-rc.5 (l3-fullscan)
↳ carried from earlier record formalswarm@v1.0.0@dsh0.2.1-rc.5 (l3-fullscan)
↳ carried from earlier record formalswarm@v1.0.0@dsh0.2.1-rc.5 (l3-fullscan)
active in loader tree (150 entries)
L1–L3 are plugin-level static conclusions (baseline, identical across dsh versions): evidence is stored once per plugin.
✓dsh 0.2.0-rc.22026-10-09L5 · runtime verified
- • Node.js: v24.14.0
- • DSH: 0.2.0-rc.2
- • Plugin artifact: github · https://github.com/fashionmascherine-svg/formalswarm#v1.0.0
ID: formalswarm@v1.0.0@dsh0.2.0-rc.2 · profile: l4-sandbox
Issued: 2026-10-09 · expires: 2026-10-16
View checks & evidence
↳ carried from earlier record formalswarm@v1.0.0@dsh0.2.1-rc.5 (l3-fullscan)
↳ carried from earlier record formalswarm@v1.0.0@dsh0.2.1-rc.5 (l3-fullscan)
↳ carried from earlier record formalswarm@v1.0.0@dsh0.2.1-rc.5 (l3-fullscan)
active in loader tree (150 entries)
L1–L3 are plugin-level static conclusions (baseline, identical across dsh versions): evidence is stored once per plugin.
✓dsh 0.2.0-rc.12026-09-29L5 · runtime verified
- • Node.js: v24.14.0
- • DSH: 0.2.0-rc.1
- • Plugin artifact: github · https://github.com/fashionmascherine-svg/formalswarm#v1.0.0
ID: formalswarm@v1.0.0@dsh0.2.0-rc.1 · profile: l4-sandbox
Issued: 2026-09-29 · expires: 2026-10-06
View checks & evidence
↳ carried from earlier record formalswarm@v1.0.0@dsh0.2.1-rc.5 (l3-fullscan)
↳ carried from earlier record formalswarm@v1.0.0@dsh0.2.1-rc.5 (l3-fullscan)
↳ carried from earlier record formalswarm@v1.0.0@dsh0.2.1-rc.5 (l3-fullscan)
active in loader tree (150 entries)
L1–L3 are plugin-level static conclusions (baseline, identical across dsh versions): evidence is stored once per plugin.
✓dsh 0.1.7-rc.22026-09-25L5 · runtime verified
- • Node.js: v24.14.0
- • DSH: 0.1.7-rc.2
- • Plugin artifact: github · https://github.com/fashionmascherine-svg/formalswarm#v1.0.0
ID: formalswarm@v1.0.0@dsh0.1.7-rc.2 · profile: l4-sandbox
Issued: 2026-09-25 · expires: 2026-10-02
View checks & evidence
↳ carried from earlier record formalswarm@v1.0.0@dsh0.2.1-rc.5 (l3-fullscan)
↳ carried from earlier record formalswarm@v1.0.0@dsh0.2.1-rc.5 (l3-fullscan)
↳ carried from earlier record formalswarm@v1.0.0@dsh0.2.1-rc.5 (l3-fullscan)
active in loader tree (150 entries)
L1–L3 are plugin-level static conclusions (baseline, identical across dsh versions): evidence is stored once per plugin.
✓dsh 0.1.6-alpha.22026-09-20L5 · runtime verified
- • Node.js: v24.14.0
- • DSH: 0.1.6-alpha.2
- • Plugin artifact: github · https://github.com/fashionmascherine-svg/formalswarm#v1.0.0
ID: formalswarm@v1.0.0@dsh0.1.6-alpha.2 · profile: l4-sandbox
Issued: 2026-09-20 · expires: 2026-09-27
View checks & evidence
↳ carried from earlier record formalswarm@v1.0.0@dsh0.2.1-rc.5 (l3-fullscan)
↳ carried from earlier record formalswarm@v1.0.0@dsh0.2.1-rc.5 (l3-fullscan)
↳ carried from earlier record formalswarm@v1.0.0@dsh0.2.1-rc.5 (l3-fullscan)
active in loader tree (150 entries)
L1–L3 are plugin-level static conclusions (baseline, identical across dsh versions): evidence is stored once per plugin.
✓dsh 0.1.6-alpha.12026-09-17L5 · runtime verified
- • Node.js: v24.14.0
- • DSH: 0.1.6-alpha.1
- • Plugin artifact: github · https://github.com/fashionmascherine-svg/formalswarm#v1.0.0
ID: formalswarm@v1.0.0@dsh0.1.6-alpha.1 · profile: l4-sandbox
Issued: 2026-09-17 · expires: 2026-09-24
View checks & evidence
↳ carried from earlier record formalswarm@v1.0.0@dsh0.2.1-rc.5 (l3-fullscan)
↳ carried from earlier record formalswarm@v1.0.0@dsh0.2.1-rc.5 (l3-fullscan)
↳ carried from earlier record formalswarm@v1.0.0@dsh0.2.1-rc.5 (l3-fullscan)
active in loader tree (150 entries)
L1–L3 are plugin-level static conclusions (baseline, identical across dsh versions): evidence is stored once per plugin.
✓prehistory2026-10-04L5 · runtime verified
- • Node.js: v24.14.0
- • DSH: unknown
- • Plugin artifact: github · https://github.com/fashionmascherine-svg/formalswarm#v1.0.0
ID: formalswarm@v1.0.0@dshunknown · profile: l4-sandbox
Issued: 2026-10-04 · expires: 2026-10-11
View checks & evidence
↳ carried from earlier record formalswarm@v1.0.0@dsh0.2.1-rc.5 (l3-fullscan)
↳ carried from earlier record formalswarm@v1.0.0@dsh0.2.1-rc.5 (l3-fullscan)
↳ carried from earlier record formalswarm@v1.0.0@dsh0.2.1-rc.5 (l3-fullscan)
active in loader tree (150 entries)
L1–L3 are plugin-level static conclusions (baseline, identical across dsh versions): evidence is stored once per plugin.
Only the latest 3 published versions are shown; source-snapshot (commit hash) groups, unstated groups and older versions are omitted — the full archive stays in the data layer (snapshot/unstated groups appear only when a plugin has no published version).
Author badges
Embed the dsh.so badges in your README to show this plugin's automated security-scan and install-test status:
`[](https://www.dsh.so/artifact/formalswarm/?ref=badge)``[](https://www.dsh.so/artifact/formalswarm/?ref=badge-install)``[](https://www.dsh.so/artifact/formalswarm/?ref=badge-install)``[](https://www.dsh.so/artifact/formalswarm/?ref=badge-install)``[](https://www.dsh.so/artifact/formalswarm/?ref=badge-install)``[](https://www.dsh.so/artifact/formalswarm/?ref=badge-install)`dsh.so is an independent community project, not affiliated with or endorsed by DeepSeek AI. Badges are maintained by dsh.so; embed links carry a ?ref= attribution parameter.
Security Report
Two automated layers, neither a manual review: a static scan (per-plugin rule checks) and a model-driven dynamic security audit that covers only the subset static-flagged at warn or above and never executes plugin code.
Static low; dynamic low (authoritative when present) → overall low.
v1.0.0dsh manifestv1.0.0git2026-10-30v1.0.0same versionclean · gitVet is an AST static scan (npm artifact or git source).
show static findings (12)
- criticalnewFunction · code-exec
core/driver.js:71schemas[match[1]] = new Function('return (' + text.slice(start, end + 1) + ')')() - criticalnewFunction · code-exec
core/driver.js:241const fn = new Function(...Object.keys(hooks), 'return (async () => {' + body + '})()') - criticalnewFunction · code-exec
core/validate-body.js:93const fn = new Function(...Object.keys(hooks), 'return (async () => {' + body + '})()') - warningchildProcess · code-exec
core/bin/formalswarm.js:313const result = spawnSync(process.execPath, argv, { stdio: 'inherit' }) - warningfsWrite · files
core/bin/formalswarm.js:84fs.writeFileSync(tmp, text, 'utf8') - warningfsWrite · files
core/bin/formalswarm.js:167fs.writeFileSync(out, JSON.stringify(built.args, null, 2) + '\n', 'utf8') - warningfsWrite · files
core/driver.js:194fs.writeFileSync(fileIn(dir, label, o.phase, '.prompt.txt'), String(prompt), 'utf8') - warningfsWrite · files
core/driver.js:255fs.writeFileSync(file, JSON.stringify(value, null, 2), 'utf8') - warningfsWrite · files
core/driver.js:264fs.writeFileSync(file, JSON.stringify({ fallen: true, reason: reason || 'subagent fallen' }, null, 2), 'utf8') - warningshellExec · shell
core/profile.js:109const out = execFileSync('git', ['rev-parse', '--show-toplevel'], { - warningfsWrite · files
core/profile.js:370fs.writeFileSync(file, JSON.stringify(profile, null, 2) + '\n', 'utf8') - warningfsWrite · files
core/profile.js:461if (!body) { fs.writeFileSync(gi, PROFILE_DIR + '/\n', 'utf8'); gitignore = gi }
show 2 audit findings
- lowBody and schemas are executed with new Function, but only over the plugin's own shipped file
core/driver.js:71Two dynamic-code paths exist: this schema extractor and the body runner 'const fn = new Function(...Object.keys(hooks), "return (async () => {" + body + "})()")' further down, both fed from BODY_TEXT = fs.readFileSync(path.join(__dirname,'debate.workflow.js')). No user-controlled string reaches them: args/prompts are passed as an object argument, not concatenated into the evaluated source. Anyone able to modify that file could equally modify driver.js, which is require()d and would run at load time, so the eval adds no privilege. Not exploitable, but it does mean the plugin's behaviour cannot
- lowThe only in-process DSH entry point (lib/skills.mjs) was not available for audit
cordis.patch.yml:20package.json maps './skills' to './lib/skills.mjs' and this patch is the single row the harness installs, so lib/skills.mjs is the code the DSH runtime actually loads; it exceeded the harvesting limit and was not inspected. Nothing suspicious can be asserted about it (no evidence either way), but the skill layer is where prompt/document content is injected into the session, so an unverified file there is a genuine blind spot rather than a proven defect.
Static-scan 'critical' hits are eval of the plugin's own shipped body file, not attacker input; no shell/network/secret abuse and strong path containment and fail-closed rollup.
Rule (2026-10-28): when a dynamic conclusion exists it is authoritative (it may raise or lower the level); the static scan tier (vet primary, dsh backstop) applies only when there is none (not queued / audit failed / withdrawn). The audit never writes the exemption list (exemptions are manual only); a wrong conclusion is withdrawn by human review and the tier falls back to the static scan tier.
Disclaimer: the static scan and the dynamic security audit are both automated analysis, not a security guarantee. Always review what you install.
Activity
Last commit 2026-09-17 · activity: Stable
• Repo created: 2026-09-15
• Stars: ★ 2 · Forks: 0
• Health: Stable — committed within 90 days
Source
Author README
View on GitHub ↗The author's original README from the repository — fetched live, unedited (the English page loads the default README).
Frequently asked questions
What is formalswarm?
formalswarm is a DeepSeek Harness (dsh) plugin listed on dsh.so — an independent community registry that indexes public source repositories and publishes automated security-scan and install-verification results for each entry.
Is dsh.so or this plugin page official?
dsh.so is an independent community registry and is not affiliated with, endorsed by, or sponsored by DeepSeek AI.
How do I install formalswarm?
Run dsh plugin --profile web add github:fashionmascherine-svg/formalswarm#v1.0.0 in a DeepSeek Harness (dsh) environment. That exact command passed a real install inside an isolated sandbox (L4) plus web smoke testing (L5).
How does the security scan relate to a manual audit?
Both layers are automated, not a manual audit. The static scan is heuristic analysis of the repository source, so it can produce false positives and miss context. The model-driven dynamic security audit only covers plugins static-flagged at warn or above, never executes plugin code, and its conclusion is authoritative when there is one (it may raise or lower the static tier); exemptions stay manual. Neither layer is an endorsement: review the repository and the permissions it asks for before installing, together with the verification level and health signals.
How fresh is the data on this page?
The data on this page is as of 2026-10-30 (UTC) — the most recent valid timestamp among the registry refresh, install verification, security scan and dynamic audit. Build time is never used as a data date.