All Plugins

1 plugin page 1 of 1

Results

  • jinguanghai/deepseek-harness-forge-plugins
    ★ 3 MIT Go
    Listed Bundle verified

    jinguanghai/deepseek-harness-forge-plugins#evidence-first: Evidence-first guard: warns the agent when it claims success without a matching tool-execution record in recent context. jinguanghai/deepseek-harness-forge-plugins#forge-gates: Real-compute verification gates: math simplification, logic proofs, regex validation, E-prover FOL, state-machine checks, and code repair, backed by Go-compiled binaries with prebuilt Windows executables. jinguanghai/deepseek-harness-forge-plugins#forge-memory: BM25 keyword-based memory recall. jinguanghai/deepseek-harness-forge-plugins#forge-tcm: Traditional Chinese Medicine toolkit: eight-axes diagnosis and herb-pair lookup.

    dsh plugin --profile default add github:jinguanghai/deepseek-harness-forge-plugins#path:/plugins/evidence-first
    Developer Tools