插件目录 / Developer / @goatliamia/dsh-observable-reversibility

@goatliamia/dsh-observable-reversibility

未验证

0星标

Developer分类

GitHub来源

它做什么

让插件卸载不再静默：相对声明观察面的可逆性判定定理（Lean 4 形式化）+ 三态判决（verified-reversible / declared-irreversible / unknown）

⏳

我们的判断
未验证 — 尚未完成安装测试，请自行评估。

「已验证」仅表示我们的自动化流水线跑通了安装与启动，不是安全审计，也不是对第三方代码的背书。

🧩 让 Agent 自动安装（推荐）

先安装目录插件，然后对 DeepSeek Harness 说「帮我安装这个插件」即可。

dsh plugin add dshbase-catalog

Web 配置：

dsh plugin --profile web add github:goatliamia/dsh-observable-reversibility