Skip to content

Releases

v0.8.0

Choose a tag to compare

@github-actions github-actions released this 26 Aug 08:40

DSH DevTools for Agents v0.8.0

First public developer release of the Agent-oriented runtime debugging workflow for DSH / Cordis plugins.

Highlights

  • Inspect live Event/listener and Fiber topology from coding Agents through MCP.
  • Attach bounded debug sessions, take runtime snapshots, and wait for filtered runtime changes.
  • Capture caller-owned checkpoints and compare semantic runtime topology after reload/reproduction.
  • Run finite, authority-gated waterfall profiling experiments with exact lease ownership.
  • Connect Codex through the profile-local stdio MCP bridge with setup, doctor, and owner-only token storage.
  • Use the same Host-owned runtime state from MCP, the JSON CLI, the debugging Skill, and the DSH Web sidebar.

Install

dsh plugin --profile web add github:wang-kaopu/dsh-cordis-devtools#v0.8.0
dsh plugin --profile web exec dsh-cordis-debug setup --profile web --agent codex

Reload DSH through your normal development workflow, then verify the connection:

dsh plugin --profile web exec dsh-cordis-debug doctor --profile web

Profile bootstrap currently requires macOS or Linux so the token file can be enforced as owner-only.