DeepSeek HarnessHub
Submit plugin

BruceLoveLee000/tokens-as-parameters--packages-formal-ui-proof-run ↗★ 0

@tokens-as-parameters/ui-proof-run

DSH Web view for live formal-proof runtime state and direct controls 适合在网页界面监控证明运行并停止任务的用户，需 DSH Web。

Agent collaborationInterface extensions
Package
@tokens-as-parameters/ui-proof-run
Compatibility
Unverified
Harness peer range
0.1.1-rc.2
Cordis peer range
4.0.1
Version
0.1.0
License
Apache-2.0
Last updated
Sep 14, 2026

Install

This plugin has no verified bundle, or compatibility checks failed. Read the repository notes first. Read the full README ↗

README

Read the full README ↗

Proof Run UI

DSH Web view for the formal Proof Runtime. It consumes the owner session's proofRuns projection and renders the controller-owned state machine, trusted obligation progress, live total and per-session token use, run history, and direct links to Prover, Reflector, and Reviewer sessions.

The Stop button executes /proof-stop through DSH Commands. It is a control-plane action and never invokes the main model.