Merge branch 'main' of https://github.com/easel/dun

Author: easel

AGENTS.md

@@ -7,6 +7,9 @@
   - `dun check --prompt` - Get work list as a prompt (pick ONE task, complete it, exit)
   - `dun loop --harness claude` - Run autonomous loop with Claude
   - `dun loop --harness gemini` - Run autonomous loop with Gemini
+  - `dun loop --harness opencode` - Run autonomous loop with OpenCode
+  - `dun loop --harness pi` - Run autonomous loop with Pi
+  - `dun loop --harness cursor` - Run autonomous loop with Cursor
   - `dun help` - Full documentation
 
   Autonomous iteration pattern:

cmd/dun/harnesses.go

@@ -8,7 +8,7 @@ import (
 )
 
 var defaultQuorumHarnesses = []string{"codex", "claude", "gemini"}
-var harnessPreferenceOrder = []string{"codex", "claude", "gemini", "opencode"}
+var harnessPreferenceOrder = []string{"codex", "claude", "gemini", "opencode", "pi", "cursor"}
 
 func resolveHarnessesForQuorum(explicit string) []string {
 	if strings.TrimSpace(explicit) != "" {

cmd/dun/loop_cache_test.go

@@ -14,7 +14,7 @@ func TestRunLoopQuorumUsesCachedHarnesses(t *testing.T) {
 
 	cache := dun.HarnessCache{
 		LastCheck: time.Now(),
-		Harnesses: []dun.HarnessStatus{{Name: "codex", Command: "codex", Available: true}},
+		Harnesses: []dun.HarnessStatus{{Name: "codex", Command: "codex", Available: true, Live: true}},
 	}
 	if err := cache.Save(); err != nil {
 		t.Fatalf("save cache: %v", err)

cmd/dun/main.go

@@ -143,7 +143,7 @@ LOOP MODE:
 
   Options:
     --config     Config file path (default .dun/config.yaml; also loads user config)
-    --harness     Agent to use: codex, claude, gemini, opencode (default: from config)
+    --harness     Agent to use: codex, claude, gemini, opencode, pi, cursor (default: from config)
     --model       Model override for selected harness(es)
     --models      Per-harness model overrides (e.g., codex:o3,claude:sonnet)
     --automation  Mode: manual, plan, auto, yolo (default: auto)
@@ -155,7 +155,7 @@ LOOP MODE:
 
   Quorum Options (multi-agent consensus):
     --quorum      Strategy: any, majority, unanimous, or number (e.g., 2)
-    --harnesses   Comma-separated list of harnesses (default: cached or codex,claude,gemini)
+    --harnesses   Comma-separated list of harnesses (default: cached or codex,claude,gemini; supports codex,claude,gemini,opencode,pi,cursor)
     --cost-optimized   Run harnesses sequentially to minimize cost
     --escalate    Pause for human review on conflict
     --prefer      Preferred harness on conflict (e.g., codex)
@@ -167,7 +167,7 @@ LOOP MODE:
     dun loop --automation yolo            # Allow autonomous edits
     dun loop --dry-run                    # Preview prompt
     dun loop --verbose                    # Show prompt and responses
-    dun loop --quorum majority --harnesses codex,claude,gemini,opencode
+    dun loop --quorum majority --harnesses codex,claude,gemini,opencode,pi,cursor
     dun loop --quorum 2 --harnesses codex,claude --prefer codex
 
 VERSION:
@@ -530,7 +530,7 @@ func runLoop(args []string, stdout io.Writer, stderr io.Writer) int {
 	fs := flag.NewFlagSet("loop", flag.ContinueOnError)
 	fs.SetOutput(stderr)
 	configPath := fs.String("config", explicitConfig, "path to config file (default .dun/config.yaml if present; also loads user config)")
-	harness := fs.String("harness", "", "agent harness (codex|claude|gemini|opencode); default from config")
+	harness := fs.String("harness", "", "agent harness (codex|claude|gemini|opencode|pi|cursor); default from config")
 	model := fs.String("model", opts.AgentModel, "model override for selected harness(es)")
 	models := fs.String("models", "", "per-harness model overrides (e.g., codex:o3,claude:sonnet)")
 	automation := fs.String("automation", opts.AutomationMode, "automation mode (manual|plan|auto|yolo)")

cmd/dun/main_cli_test.go

@@ -84,3 +84,27 @@ func TestCallHarnessCodexYolo(t *testing.T) {
 		t.Fatalf("codex should be a known harness")
 	}
 }
+
+func TestCallHarnessPi(t *testing.T) {
+	// This test verifies the command construction for pi harness
+	_, err := callHarness("pi", "test prompt", "auto")
+	// We expect an error since pi CLI is likely not installed
+	if err == nil {
+		return
+	}
+	if strings.Contains(err.Error(), "unknown harness") {
+		t.Fatalf("pi should be a known harness")
+	}
+}
+
+func TestCallHarnessCursor(t *testing.T) {
+	// This test verifies the command construction for cursor harness
+	_, err := callHarness("cursor", "test prompt", "auto")
+	// We expect an error since cursor CLI is likely not installed
+	if err == nil {
+		return
+	}
+	if strings.Contains(err.Error(), "unknown harness") {
+		t.Fatalf("cursor should be a known harness")
+	}
+}

cmd/dun/main_test.go

@@ -1402,7 +1402,7 @@ func TestRunHelpIncludesLoop(t *testing.T) {
 	if !strings.Contains(output, "--max-iterations") {
 		t.Fatalf("help should document max-iterations option")
 	}
-	if !strings.Contains(output, "codex, claude, gemini, opencode") {
+	if !strings.Contains(output, "codex, claude, gemini, opencode, pi, cursor") {
 		t.Fatalf("help should list available harnesses")
 	}
 }

docs/design/contracts/API-001-dun-cli.md

@@ -209,15 +209,15 @@ proceeding (quorum is applied to the iteration prompt, not per-check prompts).
 
 **Options**:
 - `--config` : Path to config file (default `.dun/config.yaml` if present)
-- `--harness` : Agent harness (`codex`, `claude`, `gemini`, `opencode`, default from config)
+- `--harness` : Agent harness (`codex`, `claude`, `gemini`, `opencode`, `pi`, `cursor`, default from config)
 - `--model` : Model override for selected harness(es)
 - `--models` : Per-harness model overrides (e.g., `codex:o3,claude:sonnet`)
 - `--automation` : Automation mode (`manual`, `plan`, `auto`, `yolo`, default `auto`)
 - `--max-iterations` : Maximum iterations before stopping (default `100`)
 - `--dry-run` : Print prompt without calling harness
 - `--verbose` : Print prompts sent to harnesses and responses received
 - `--quorum` : Quorum strategy (`any`, `majority`, `unanimous`, or number)
-- `--harnesses` : Comma-separated harness list for quorum (supports `name@persona`, default cached or `codex,claude,gemini`)
+- `--harnesses` : Comma-separated harness list for quorum (supports `name@persona`, default cached or `codex,claude,gemini`; supports `codex,claude,gemini,opencode,pi,cursor`)
 - `--cost-optimized` : Run harnesses sequentially to minimize cost
 - `--escalate` : Pause for human review on conflict
 - `--prefer` : Preferred harness on conflict
@@ -265,6 +265,7 @@ $ dun loop --verbose
 **Output**:
 - Format: Human-readable status report
 - Side effects: writes harness cache to `~/.dun/harnesses.json`
+- Behavior: performs harness liveness pings to confirm the CLIs respond
 
 **Exit Codes**:
 - `0`: Success
@@ -279,7 +280,7 @@ $ dun loop --verbose
 **Options**:
 - `--task` : Task prompt (string)
 - `--quorum` : Quorum strategy (`any`, `majority`, `unanimous`, or number)
-- `--harnesses` : Comma-separated harness list (supports `name@persona`, default cached or `codex,claude,gemini`)
+- `--harnesses` : Comma-separated harness list (supports `name@persona`, default cached or `codex,claude,gemini`; supports `codex,claude,gemini,opencode,pi,cursor`)
 - `--cost-optimized` : Run harnesses sequentially to minimize cost
 - `--escalate` : Pause for human review on conflict
 - `--prefer` : Preferred harness on conflict

docs/helix/01-frame/features/F-022-doctor.md

@@ -0,0 +1,40 @@
+---
+dun:
+  id: F-022
+  depends_on:
+    - helix.prd
+---
+# Feature Spec: F-022 Doctor Command
+
+## Summary
+
+Provide a `dun doctor` command that checks harness/tool availability, performs
+basic harness liveness pings, and reports actionable fixes when dependencies are
+missing. Persist a cache of available harnesses for quorum defaults.
+
+## Requirements
+
+- Provide a `dun doctor` CLI command with no flags.
+- Detect installed harness CLIs (codex, claude, gemini, opencode).
+- Perform a short liveness ping per available harness.
+- Report model info when the harness provides it.
+- Detect project helpers based on repo signals:
+  - Go: `go`, `go tool cover`, `staticcheck`, `govulncheck`, `gosec`.
+  - Git: `git`, and configured hook tools (lefthook or pre-commit).
+  - Beads: `bd` when `.beads` exists.
+- Provide actionable next steps when tools are missing.
+- Write `~/.dun/harnesses.json` with liveness results for quorum defaults.
+- Do not fail when tools are missing; only fail on runtime errors (for example,
+  unable to write the cache file).
+
+## Non-Goals
+
+- Installing or configuring tools automatically.
+- Deep validation of tool configuration beyond presence and liveness.
+
+## Acceptance Criteria
+
+- `dun doctor` prints harness availability and liveness status.
+- `dun doctor` prints helper/tool availability with actionable hints for missing tools.
+- `dun doctor` writes/updates `~/.dun/harnesses.json`.
+- Missing tools produce warnings but do not return a non-zero exit code.

docs/helix/01-frame/user-stories/US-015-doctor.md

@@ -0,0 +1,19 @@
+---
+dun:
+  id: US-015
+  depends_on:
+  - F-022
+---
+# US-015: Diagnose Tooling Readiness
+
+As a user, I want to know if all supporting tools I need to use Dun are
+available, with help fixing them when they are missing.
+
+## Acceptance Criteria
+
+- `dun doctor` runs without flags and produces a human-readable report.
+- The report lists harness availability and liveness results.
+- The report lists project helpers (Go, Git hooks, Beads) when applicable.
+- Missing tools include a clear next step (install hint or command).
+- `~/.dun/harnesses.json` is updated after each run.
+- Missing tools do not cause `dun doctor` to fail.

internal/dun/doctor.go

@@ -1,6 +1,7 @@
 package dun
 
 import (
+	"context"
 	"fmt"
 	"os"
 	"os/exec"
@@ -22,10 +23,13 @@ type DoctorReport struct {
 
 // HarnessStatus reports availability of a harness CLI.
 type HarnessStatus struct {
-	Name      string `json:"name"`
-	Command   string `json:"command"`
-	Available bool   `json:"available"`
-	Detail    string `json:"detail"`
+	Name       string `json:"name"`
+	Command    string `json:"command"`
+	Available  bool   `json:"available"`
+	Detail     string `json:"detail"`
+	Live       bool   `json:"live"`
+	Model      string `json:"model,omitempty"`
+	LiveDetail string `json:"live_detail,omitempty"`
 }
 
 // HelperStatus reports availability of project helper tools.
@@ -61,6 +65,8 @@ func RunDoctor(root string) (DoctorReport, error) {
 	return report, nil
 }
 
+var harnessLivenessFn = checkHarnessLiveness
+
 func checkHarnesses() []HarnessStatus {
 	names := DefaultRegistry.List()
 	sort.Strings(names)
@@ -75,10 +81,15 @@ func checkHarnesses() []HarnessStatus {
 		if err != nil {
 			status.Available = false
 			status.Detail = "command not found"
-		} else {
-			status.Available = true
-			status.Detail = "found " + path
+			statuses = append(statuses, status)
+			continue
 		}
+		status.Available = true
+		status.Detail = "found " + path
+		live, model, detail := harnessLivenessFn(name)
+		status.Live = live
+		status.Model = model
+		status.LiveDetail = detail
 		statuses = append(statuses, status)
 	}
 	return statuses
@@ -93,6 +104,17 @@ func defaultHarnessCommand(name string) string {
 	}
 }
 
+func checkHarnessLiveness(name string) (bool, string, string) {
+	result, err := PingHarness(context.Background(), name, HarnessConfig{
+		Name:           name,
+		AutomationMode: AutomationAuto,
+	})
+	if err != nil && result.Detail == "" {
+		result.Detail = err.Error()
+	}
+	return result.Live, result.Model, result.Detail
+}
+
 func checkProjectHelpers(root string) []HelperStatus {
 	var helpers []HelperStatus
 	if fileExists(filepath.Join(root, "go.mod")) {
@@ -245,6 +267,23 @@ func FormatDoctorReport(report DoctorReport) string {
 				b.WriteString(harness.Detail)
 				b.WriteString(")")
 			}
+			if harness.Available {
+				liveStatus := "fail"
+				if harness.Live {
+					liveStatus = "ok"
+				}
+				b.WriteString("; live: ")
+				b.WriteString(liveStatus)
+				if harness.Model != "" {
+					b.WriteString(" (model: ")
+					b.WriteString(harness.Model)
+					b.WriteString(")")
+				} else if harness.LiveDetail != "" {
+					b.WriteString(" (")
+					b.WriteString(harness.LiveDetail)
+					b.WriteString(")")
+				}
+			}
 			b.WriteString("\n")
 		}
 	}