dsh.so
中文
English中文
dsh-danus avatar

dsh-danus

Verifier-gated multi-agent mathematical proof-search orchestration, native to DeepSeek Harness: content-addressed fact graph, role-gated tools, cold-start verifier, worker swarm, paper/report rendering. TypeScript, cross-platform. Based on Danus (frenzymath).

PluginAI 模型开发知识管理记忆文件网页搜索
验证
L2 · 结构化
风险
低风险
健康
活跃
信任
银

功能介绍AI

Verifier-gated multi-agent mathematical proof-search orchestration with content-addressed fact graph and report rendering.

  • Content-addressed fact graph for proof state
  • Role-gated tools and cold-start verifier
  • Worker swarm and paper/report rendering

由 AI 基于 README 自动生成，仅供参考。

安装

dsh plugin --profile web add github:Fisfzy/dsh-danus

安装方式: GitHub · 无验证记录（L1-L5）

兼容性

DSH VersionStatus
not stated无验证记录

要求

  • • Node.js: 未声明
  • • DSH: 未声明
  • • External credentials: 未检测到

安全报告

自动静态扫描，非人工审核。

DSH.SO VETPASSEDa96612
安全审查自动审查 · 每日更新
PASSED

vet 静态分析未发现可疑行为，判定为干净（clean）。

0 严重·0 高·0 中·100 分数
版本绑定
插件版本0.1.0dsh 清单
扫描版本a966127a74d12026-08-25
当前版本a966127a74d1
vet 判定clean · git分数 100

vet 为 AST 静态扫描（npm 发布物或 git 源码）。

免责声明：这是自动化静态分析，不构成安全保证。安装前请自行审查。

风险详情

未发现严重或警告级问题。

活跃度

最近提交 2026-08-24 · 活跃度：活跃

• 仓库创建: 2026-08-25

• 星标: ★ 0 · 复刻: 0

• 健康度: 活跃 — 近 30 天有提交

来源

GitHub: github.com/Fisfzy/dsh-danus

这页有帮助吗？