shi275773124/falsify-dsh
DeepSeek Harness adapter for the public Falsify CLI
An evidence-based verification gate for DSH. After installing, tell the agent "falsify this file" or "gate this PR" and you get a receipt: PASS, PASS_WITH_DEBT or BLOCK. The tools falsify_lint, falsify_review and falsify_gate only supply paths and run python -m falsify — the CLI is the adjudicator and the agent never chooses the verdict. As the README puts it: agent "looks fine" is not a receipt, and green lint is not a ship.
Install
dsh plugin --profile web add "github:shi275773124/falsify-dsh#v0.1.0"README-documented install, pinned to tag v0.1.0. Install the public Falsify CLI first on Python 3.12+: pip install "falsify @ git+https://github.com/shi275773124/Falsify.git", then verify with python -m falsify --help. Restart the profile (dsh --profile web) afterwards — only packages that declare dsh.bundle.patch become active profile layers, and this one does. Optional: set FALSIFY_PYTHON if python is not the interpreter that has Falsify installed. Uninstall: dsh plugin --profile web remove falsify-dsh.
Compatibility
DSH Web profile (developer preview; the README notes there will be compatibility-breaking changes). Requires Python 3.12+ with the public Falsify CLI installed.
Details
- Repo: shi275773124/falsify-dsh
- Category: Other
- Stars: 2
- Version: GitHub tag v0.1.0 (README-pinned)
- Last push: 2026-08-15
- First seen: 2026-08-13
FAQ
- How do I install falsify-dsh?
- First install the public Falsify CLI (pip install "falsify @ git+https://github.com/shi275773124/Falsify.git", Python 3.12+), then run: dsh plugin --profile web add "github:shi275773124/falsify-dsh#v0.1.0" and restart the profile.
- What verdicts does it return?
- PASS, PASS_WITH_DEBT or BLOCK, produced by the Falsify CLI. The plugin only supplies paths and runs the CLI — the agent does not choose the verdict.
- What if python is not the interpreter with Falsify installed?
- Set the FALSIFY_PYTHON environment variable to the interpreter that has the Falsify CLI installed.
Alternatives
deepseek-ai/deepseek-harness · awesome-dsh-plugin/awesome-dsh-plugin · yjh051108/dsh-routing-suite