Overview
lean4-harness-plugin
Lean 4 service and Harness tools for deepseek-harness.
README / EN
Package documentation
Registry summary
Lean 4 service and Harness tools for deepseek-harness.
dsh.pub verifies the pinned bundle contract, runtime facts, and distribution semantics. The complete README remains in the source repository.
Read the full README on GitHub