Plugin directory / Developer / @goatliamia/dsh-observable-reversibility
@goatliamia/dsh-observable-reversibility
Unverified
0Stars
DeveloperCategory
GitHubSource
What it does
让插件卸载不再静默：相对声明观察面的可逆性判定定理（Lean 4 形式化）+ 三态判决（verified-reversible / declared-irreversible / unknown）
Our take
Unverified — not yet install-tested; try it in your own environment.
Unverified — not yet install-tested; try it in your own environment.
“Verified” means our CI ran dsh plugin add in a clean profile and it booted — not a security audit and not an endorsement of third-party code.
Install
🧩 Let your agent install it (recommended)
Install the catalog once, then ask DeepSeek Harness to find and install this plugin.
dsh plugin add dshbase-catalogWeb profile:
dsh plugin --profile web add github:goatliamia/dsh-observable-reversibility