全部插件

23 个插件 第 2 / 2 页

结果

  • 已收录 Bundle 已验证

    严谨开放数学研究套件:4 个 agent skill(rigorous-open-math-research、manage-math-research-program、math-research-workflow、lean-verify),覆盖对抗性审计的定理求解、研究项目管理、流水线编排与 Lean 4 形式化审计;CI 测试与机械式上游同步。

    dsh plugin --profile default add github:xsoc1/math-research-dsh
  • 已收录 Bundle 已验证

    通过托管的 MSDS Chain MCP 端点接入化学品安全数据:23 个工具覆盖相容性与投料顺序、GHS 危害、PPE、储存、废弃处置、职业接触限值、运输分类、多法域合规、SDS 查询与版本比对、签名审计报告;每条回答都标注其依据的供应商 SDS 与版本日期。

    dsh plugin --profile default add github:littleblakew/msds-chain-mcp#path:/plugins/dsh
  • 已收录 Bundle 已验证

    桌面(native)控制:dsh 经 stdio JSON-RPC 桥接 Python 核心;支持截屏、指针/键盘注入、无障碍树语义操作,并以强制确认为高风险操作把关。

    dsh plugin --profile default add github:JohnXu22786/computer-control