invar-tools 1.14.0__py3-none-any.whl → 1.15.0__py3-none-any.whl

invar/shell/commands/init.py

@@ -23,6 +23,7 @@ from invar.shell.mcp_config import (
     get_recommended_method,
 )
 from invar.shell.pi_hooks import install_pi_hooks
+from invar.shell.pi_tools import install_pi_tools
 from invar.shell.templates import (
     add_config,
     create_directories,
@@ -60,6 +61,7 @@ FILE_CATEGORIES: dict[str, list[tuple[str, str]]] = {
         ("CLAUDE.md", "Agent instructions (Pi compatible)"),
         (".claude/skills/", "Workflow automation (Pi compatible)"),
         (".pi/hooks/", "Pi-specific hooks"),
+        (".pi/tools/", "Pi custom tools (invar_guard, invar_sig, invar_map)"),
     ],
 }
 
@@ -153,29 +155,43 @@ def _get_prompt_style():
 
 # @shell_complexity: Interactive prompt with cursor selection
 def _prompt_agent_selection() -> list[str]:
-    """Prompt user to select code agent using cursor navigation."""
+    """Prompt user to select agent(s) using checkbox (DX-81: multi-agent support)."""
     import questionary
 
-    console.print("\n[bold]Select code agent:[/bold]")
-    console.print("[dim]Use arrow keys to move, enter to select[/dim]\n")
+    console.print("\n[bold]Select agent(s) to configure:[/bold]")
+    console.print("[dim]Space to toggle, Enter to confirm (can select multiple)[/dim]\n")
 
     choices = [
-        questionary.Choice("Claude Code (recommended)", value="claude"),
-        questionary.Choice("Pi Coding Agent", value="pi"),
-        questionary.Choice("Other (AGENT.md)", value="generic"),
+        questionary.Choice(
+            "Claude Code (recommended)",
+            value="claude",
+            checked=True  # Default selection
+        ),
+        questionary.Choice(
+            "Pi Coding Agent",
+            value="pi",
+            checked=False
+        ),
+        questionary.Choice(
+            "Other (AGENT.md)",
+            value="generic",
+            checked=False
+        ),
     ]
 
-    selected = questionary.select(
+    selected = questionary.checkbox(
         "",
         choices=choices,
         instruction="",
         style=_get_prompt_style(),
     ).ask()
 
-    # Handle Ctrl+C
+    # Handle Ctrl+C or empty selection
     if not selected:
-        return ["claude"]  # Default to Claude Code
-    return [selected]
+        console.print("[yellow]No agents selected, using Claude Code as default.[/yellow]")
+        return ["claude"]
+
+    return selected
 
 
 # @shell_complexity: Interactive file selection with cursor navigation
@@ -205,9 +221,10 @@ def _prompt_file_selection(agents: list[str]) -> dict[str, bool]:
     console.print()
     console.print("[dim]Use arrow keys to move, space to toggle, enter to confirm[/dim]\n")
 
-    # Build choices with categories as separators
+    # Build choices with categories as separators (DX-81: deduplicate shared files)
     choices: list[questionary.Choice | questionary.Separator] = []
     file_list: list[str] = []
+    seen_files: set[str] = set()
 
     for category, files in available.items():
         if category == "required":
@@ -217,12 +234,19 @@ def _prompt_file_selection(agents: list[str]) -> dict[str, bool]:
             category_name = "Claude Code"
         elif category == "pi":
             category_name = "Pi Coding Agent"
-        choices.append(questionary.Separator(f"── {category_name} ──"))
-        for file, desc in files:
-            choices.append(
-                questionary.Choice(f"{file:28} {desc}", value=file, checked=True)
-            )
-            file_list.append(file)
+
+        # Filter out files already seen (shared between categories)
+        unique_files = [(f, d) for f, d in files if f not in seen_files]
+
+        # Only add separator if there are unique files to show
+        if unique_files:
+            choices.append(questionary.Separator(f"── {category_name} ──"))
+            for file, desc in unique_files:
+                choices.append(
+                    questionary.Choice(f"{file:28} {desc}", value=file, checked=True)
+                )
+                file_list.append(file)
+                seen_files.add(file)
 
     selected = questionary.checkbox(
         "Select files to install:",
@@ -390,10 +414,7 @@ def init(
     """
     from invar import __version__
 
-    # Mutual exclusivity check
-    if claude and pi:
-        console.print("[red]Error:[/red] Cannot use --claude and --pi together.")
-        raise typer.Exit(1)
+    # DX-81: Multi-agent support - removed mutual exclusivity check
 
     if mcp_only and (claude or pi):
         console.print("[red]Error:[/red] --mcp-only cannot be combined with --claude or --pi.")
@@ -458,8 +479,10 @@ def init(
             console.print(f"[red]Error:[/red] Invalid language '{language}'. Must be one of: {valid}")
             raise typer.Exit(1)
 
-    # Header
-    if claude:
+    # Header (DX-81: Support multi-agent display)
+    if claude and pi:
+        console.print(f"\n[bold]Invar v{__version__} - Quick Setup (Claude Code + Pi)[/bold]")
+    elif claude:
         console.print(f"\n[bold]Invar v{__version__} - Quick Setup (Claude Code)[/bold]")
     elif pi:
         console.print(f"\n[bold]Invar v{__version__} - Quick Setup (Pi)[/bold]")
@@ -468,27 +491,30 @@ def init(
     console.print("=" * 45)
     console.print(f"[dim]Language: {language} | Existing files will be MERGED.[/dim]")
 
-    # Determine agents and files
-    if claude:
-        # Quick mode: Claude Code defaults
-        agents = ["claude"]
+    # DX-81: Determine agents and files (multi-agent support)
+    if claude or pi:
+        # Quick mode: Build agent list from flags
+        agents = []
+        if claude:
+            agents.append("claude")
+        if pi:
+            agents.append("pi")
+
+        # Build selected_files from all agents' categories
         selected_files: dict[str, bool] = {}
-        for category in ["optional", "claude"]:
-            for file, _ in FILE_CATEGORIES.get(category, []):
-                selected_files[file] = True
-        # DX-79: Default feedback enabled for quick mode
-        feedback_enabled = True
-        console.print("\n[dim]📊 Feedback collection enabled by default (stored locally in .invar/feedback/)[/dim]")
-        console.print("[dim]   To disable: Set feedback.enabled=false in .claude/settings.local.json[/dim]")
-    elif pi:
-        # Quick mode: Pi defaults
-        agents = ["pi"]
-        selected_files = {}
-        for category in ["optional", "pi"]:
+        for agent in agents:
+            category = AGENT_CONFIGS[agent]["category"]
             for file, _ in FILE_CATEGORIES.get(category, []):
                 selected_files[file] = True
+
+        # Add optional files
+        for file, _ in FILE_CATEGORIES["optional"]:
+            selected_files[file] = True
+
         # DX-79: Default feedback enabled for quick mode
         feedback_enabled = True
+        if len(agents) > 1:
+            console.print(f"\n[dim]📊 Configuring for {len(agents)} agents: {', '.join(agents)}[/dim]")
         console.print("\n[dim]📊 Feedback collection enabled by default (stored locally in .invar/feedback/)[/dim]")
         console.print("[dim]   To disable: Set feedback.enabled=false in .claude/settings.local.json[/dim]")
     else:
@@ -598,6 +624,10 @@ def init(
     if "pi" in agents and selected_files.get(".pi/hooks/", True):
         install_pi_hooks(path, console)
 
+    # Install Pi custom tools if selected
+    if "pi" in agents and selected_files.get(".pi/tools/", True):
+        install_pi_tools(path, console)
+
     # Add feedback configuration (DX-79 Phase C)
     if "claude" in agents or "pi" in agents:
         feedback_result = add_feedback_config(path, feedback_enabled, console)
@@ -622,7 +652,7 @@ def init(
     # Completion message
     console.print(f"\n[bold green]✓ Initialized Invar v{__version__}[/bold green]")
 
-    # Show agent-specific tips
+    # Show agent-specific tips (DX-81: show all relevant tips)
     if "claude" in agents:
         console.print()
         console.print(
@@ -633,7 +663,7 @@ def init(
                 border_style="dim",
             )
         )
-    elif "pi" in agents:
+    if "pi" in agents:
         console.print()
         console.print(
             Panel(

invar/shell/pi_tools.py

@@ -0,0 +1,120 @@
+"""
+Pi Coding Agent custom tools for Invar.
+
+Provides Invar CLI commands as Pi custom tools for better LLM integration.
+"""
+
+from __future__ import annotations
+
+import shutil
+from pathlib import Path
+from typing import TYPE_CHECKING
+
+from returns.result import Failure, Result, Success
+
+if TYPE_CHECKING:
+    from rich.console import Console
+
+# Pi tools directory
+PI_TOOLS_DIR = ".pi/tools/invar"
+
+
+def get_pi_tools_template_path() -> Path:
+    """Get the path to Pi tools template."""
+    return Path(__file__).parent.parent / "templates" / "pi-tools" / "invar"
+
+
+def install_pi_tools(
+    project_path: Path,
+    console: Console,
+) -> Result[list[str], str]:
+    """
+    Install Pi custom tools for Invar.
+
+    Creates .pi/tools/invar/index.ts with:
+    - invar_guard: Wrapper for invar guard command
+    - invar_sig: Wrapper for invar sig command
+    - invar_map: Wrapper for invar map command
+    """
+    tools_dir = project_path / PI_TOOLS_DIR
+    tools_dir.mkdir(parents=True, exist_ok=True)
+
+    console.print("\n[bold]Installing Pi custom tools...[/bold]")
+    console.print("  Tools provide:")
+    console.print("    ✓ invar_guard - Smart verification (static + doctests + symbolic)")
+    console.print("    ✓ invar_sig - Show function signatures and contracts")
+    console.print("    ✓ invar_map - Symbol map with reference counts")
+    console.print("")
+
+    template_path = get_pi_tools_template_path()
+    tool_file = template_path / "index.ts"
+
+    if not tool_file.exists():
+        return Failure(f"Template not found: {tool_file}")
+
+    try:
+        # Copy the template file
+        dest_file = tools_dir / "index.ts"
+        shutil.copy2(tool_file, dest_file)
+
+        console.print(f"  [green]Created[/green] {PI_TOOLS_DIR}/index.ts")
+        console.print("\n  [bold green]✓ Pi custom tools installed[/bold green]")
+        console.print("  [dim]Pi will auto-discover tools in .pi/tools/[/dim]")
+        console.print("  [yellow]⚠ Restart Pi session for tools to take effect[/yellow]")
+
+        return Success(["index.ts"])
+    except Exception as e:
+        return Failure(f"Failed to install Pi tools: {e}")
+
+
+def remove_pi_tools(
+    project_path: Path,
+    console: Console,
+) -> Result[None, str]:
+    """Remove Pi custom tools."""
+    tools_dir = project_path / PI_TOOLS_DIR
+    tool_file = tools_dir / "index.ts"
+
+    if tool_file.exists():
+        tool_file.unlink()
+        console.print(f"  [red]Removed[/red] {PI_TOOLS_DIR}/index.ts")
+
+        # Remove directory if empty
+        try:
+            tools_dir.rmdir()
+            console.print(f"  [red]Removed[/red] {PI_TOOLS_DIR}/")
+        except OSError:
+            pass  # Directory not empty, keep it
+
+        console.print("[bold green]✓ Pi custom tools removed[/bold green]")
+    else:
+        console.print("[dim]No Pi custom tools installed[/dim]")
+
+    return Success(None)
+
+
+def pi_tools_status(
+    project_path: Path,
+    console: Console,
+) -> Result[dict[str, str], str]:
+    """Check status of Pi custom tools."""
+    tools_dir = project_path / PI_TOOLS_DIR
+    tool_file = tools_dir / "index.ts"
+
+    status: dict[str, str] = {}
+
+    if not tool_file.exists():
+        console.print("[dim]No Pi custom tools installed[/dim]")
+        return Success({"status": "not_installed"})
+
+    status["status"] = "installed"
+
+    # Try to check file size (basic validation)
+    try:
+        size = tool_file.stat().st_size
+        status["size"] = f"{size} bytes"
+        console.print(f"[green]✓ Pi custom tools installed[/green] ({size} bytes)")
+    except OSError:
+        console.print("[green]✓ Pi custom tools installed[/green]")
+
+    return Success(status)

invar/templates/hooks/UserPromptSubmit.sh.jinja

@@ -2,6 +2,7 @@
 # Invar UserPromptSubmit Hook
 # Protocol: v{{ protocol_version }} | Generated: {{ generated_date }}
 # DX-57: Protocol refresh with full INVAR.md injection
+# DX-79: Automatic feedback trigger via message count
 
 USER_MESSAGE="$1"
 
@@ -82,3 +83,33 @@ if [[ $COUNT -ge 25 && $((COUNT % 10)) -eq 0 ]]; then
 INVAR_EOF
   echo "</system-reminder>"
 fi
+
+# ============================================
+# DX-79: Feedback trigger at threshold
+# ============================================
+
+# Read feedback configuration
+FEEDBACK_ENABLED=true
+MIN_MESSAGES=30
+
+if [[ -f ".claude/settings.local.json" ]]; then
+  # Try to parse with jq if available, otherwise use defaults
+  if command -v jq &> /dev/null; then
+    FEEDBACK_ENABLED=$(jq -r '.feedback.enabled // true' .claude/settings.local.json 2>/dev/null)
+    MIN_MESSAGES=$(jq -r '.feedback.min_messages // 30' .claude/settings.local.json 2>/dev/null)
+  fi
+fi
+
+# Trigger feedback prompt at threshold
+if [[ "$FEEDBACK_ENABLED" == "true" && $COUNT -eq $MIN_MESSAGES ]]; then
+  echo "<system-reminder>"
+  echo "━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━"
+  echo "📊 Invar: Auto-triggering usage feedback ($COUNT messages)"
+  echo "━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━"
+  echo ""
+  echo "Session has reached $COUNT messages. Consider running /invar-reflect"
+  echo "to generate usage feedback."
+  echo ""
+  echo "To disable: Set feedback.enabled=false in .claude/settings.local.json"
+  echo "</system-reminder>"
+fi

invar/templates/hooks/pi/invar.ts.jinja

@@ -2,13 +2,16 @@
  * Invar Pi Hook
  * Protocol: v{{ protocol_version }} | Generated: {{ generated_date }}
  * LX-04: Full feature parity with Claude Code hooks
+ * DX-79: Automatic feedback trigger via message count
  *
  * Features:
  * - pytest/crosshair blocking via tool_call
  * - Protocol injection via pi.send() for long conversations
+ * - Automatic /invar-reflect trigger at message threshold
  */
 
 import type { HookAPI } from "@mariozechner/pi-coding-agent/hooks";
+import * as fs from "fs";
 
 // Blocked commands (same as Claude Code)
 {% if language == "python" -%}
@@ -22,6 +25,21 @@ const ALLOWED_FLAGS = [/--inspect/, /--coverage/, /--debug/];
 // Protocol content for injection (escaped for JS)
 const INVAR_PROTOCOL = `{{ invar_protocol_escaped }}`;
 
+// DX-79: Helper to read feedback configuration
+function readFeedbackConfig() {
+  try {
+    const settingsPath = ".claude/settings.local.json";
+    const settings = JSON.parse(fs.readFileSync(settingsPath, "utf-8"));
+    return {
+      enabled: settings.feedback?.enabled ?? true,
+      min_messages: settings.feedback?.min_messages ?? 30,
+    };
+  } catch {
+    // File doesn't exist or other error, use defaults
+  }
+  return { enabled: true, min_messages: 30 };
+}
+
 export default function (pi: HookAPI) {
   let msgCount = 0;
 
@@ -53,6 +71,21 @@ export default function (pi: HookAPI) {
       pi.send(`<system-reminder>
 === Protocol Refresh (message ${msgCount}) ===
 ${INVAR_PROTOCOL}
+</system-reminder>`);
+    }
+
+    // DX-79: Feedback trigger at threshold
+    const feedbackConfig = readFeedbackConfig();
+    if (msgCount === feedbackConfig.min_messages && feedbackConfig.enabled) {
+      pi.send(`<system-reminder>
+━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
+📊 Invar: Auto-triggering usage feedback (${msgCount} messages)
+━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
+
+Session has reached ${msgCount} messages. Consider running /invar-reflect
+to generate usage feedback.
+
+To disable: Set feedback.enabled=false in .claude/settings.local.json
 </system-reminder>`);
     }
   });
@@ -62,7 +95,8 @@ ${INVAR_PROTOCOL}
   // ============================================
   pi.on("tool_call", async (event) => {
     if (event.toolName !== "bash") return;
-    const cmd = ((event.input as Record<string, unknown>).command as string || "").trim();
+    const input = event.input as Record<string, unknown>;
+    const cmd = (typeof input?.command === "string" ? input.command : "").trim();
 
     // Skip if not a blocked command
     if (!BLOCKED_CMDS.some((p) => p.test(cmd))) return;

invar/templates/pi-tools/invar/index.ts

@@ -0,0 +1,207 @@
+/**
+ * Invar Custom Tools for Pi Coding Agent
+ *
+ * Wraps Invar CLI commands as Pi tools for better LLM integration.
+ * Installed via: invar init --pi
+ */
+
+import { Type } from "@sinclair/typebox";
+import type { CustomToolFactory } from "@mariozechner/pi-coding-agent";
+
+const factory: CustomToolFactory = (pi) => {
+  // Helper to check if invar is available
+  async function checkInvarInstalled(): Promise<boolean> {
+    try {
+      const result = await pi.exec("which", ["invar"]);
+      return result.exitCode === 0;
+    } catch {
+      return false;
+    }
+  }
+
+  // Helper to validate path/target parameters (defense-in-depth)
+  function isValidPath(p: string): boolean {
+    // Reject shell metacharacters (including newline injection) and path traversal
+    if (/[;&|`$"'\\<>\n\r\0]/.test(p)) {
+      return false;
+    }
+    if (p.includes('..')) {
+      return false;
+    }
+    return true;
+  }
+
+  return [
+    // =========================================================================
+    // invar_guard - Smart verification (static + doctests + symbolic)
+    // =========================================================================
+    {
+      name: "invar_guard",
+      label: "Invar Guard",
+      description: "Verify code quality with static analysis, doctests, CrossHair symbolic execution, and Hypothesis testing. Use this instead of pytest/crosshair. By default checks git-modified files; use --all for full project check.",
+      parameters: Type.Object({
+        changed: Type.Optional(Type.Boolean({
+          description: "Check only git-modified files (default: true)",
+          default: true,
+        })),
+        contracts_only: Type.Optional(Type.Boolean({
+          description: "Contract coverage check only (skip tests)",
+          default: false,
+        })),
+        coverage: Type.Optional(Type.Boolean({
+          description: "Collect branch coverage from doctest + hypothesis",
+          default: false,
+        })),
+        strict: Type.Optional(Type.Boolean({
+          description: "Treat warnings as errors",
+          default: false,
+        })),
+      }),
+      async execute(toolCallId, params, onUpdate, ctx, signal) {
+        const installed = await checkInvarInstalled();
+        if (!installed) {
+          throw new Error("Invar not installed. Run: pip install invar-tools");
+        }
+
+        const args = ["guard"];
+
+        // Default is --changed (check modified files)
+        if (params.changed === false) {
+          args.push("--all");
+        }
+
+        if (params.contracts_only) {
+          args.push("-c");
+        }
+        if (params.coverage) {
+          args.push("--coverage");
+        }
+        if (params.strict) {
+          args.push("--strict");
+        }
+
+        const result = await pi.exec("invar", args, { cwd: pi.cwd, signal });
+
+        if (result.killed) {
+          throw new Error("Guard verification was cancelled");
+        }
+
+        const output = result.stdout + result.stderr;
+
+        return {
+          content: [{ type: "text", text: output || "Guard completed" }],
+          details: {
+            exitCode: result.exitCode,
+            passed: result.exitCode === 0,
+          },
+        };
+      },
+    },
+
+    // =========================================================================
+    // invar_sig - Show function signatures and contracts
+    // =========================================================================
+    {
+      name: "invar_sig",
+      label: "Invar Sig",
+      description: "Show function signatures and contracts (@pre/@post). Use this INSTEAD of Read() when you want to understand file structure without reading full implementation.",
+      parameters: Type.Object({
+        target: Type.String({
+          description: "File path or file::symbol path (e.g., 'src/foo.py' or 'src/foo.py::MyClass')",
+        }),
+      }),
+      async execute(toolCallId, params, onUpdate, ctx, signal) {
+        const installed = await checkInvarInstalled();
+        if (!installed) {
+          throw new Error("Invar not installed. Run: pip install invar-tools");
+        }
+
+        if (!isValidPath(params.target)) {
+          throw new Error("Invalid target path: contains unsafe characters or path traversal");
+        }
+
+        const result = await pi.exec("invar", ["sig", params.target], {
+          cwd: pi.cwd,
+          signal,
+        });
+
+        if (result.killed) {
+          throw new Error("Sig command was cancelled");
+        }
+
+        if (result.exitCode !== 0) {
+          throw new Error(`Failed to get signatures: ${result.stderr}`);
+        }
+
+        return {
+          content: [{ type: "text", text: result.stdout }],
+          details: {
+            target: params.target,
+          },
+        };
+      },
+    },
+
+    // =========================================================================
+    // invar_map - Symbol map with reference counts
+    // =========================================================================
+    {
+      name: "invar_map",
+      label: "Invar Map",
+      description: "Symbol map with reference counts. Use this INSTEAD of Grep for 'def ' to find entry points and most-referenced symbols.",
+      parameters: Type.Object({
+        path: Type.Optional(Type.String({
+          description: "Project path (default: current directory)",
+          default: ".",
+        })),
+        top: Type.Optional(Type.Number({
+          description: "Show top N symbols by reference count",
+          default: 10,
+        })),
+      }),
+      async execute(toolCallId, params, onUpdate, ctx, signal) {
+        const installed = await checkInvarInstalled();
+        if (!installed) {
+          throw new Error("Invar not installed. Run: pip install invar-tools");
+        }
+
+        if (params.path && params.path !== "." && !isValidPath(params.path)) {
+          throw new Error("Invalid path: contains unsafe characters or path traversal");
+        }
+
+        const args = ["map"];
+
+        if (params.path && params.path !== ".") {
+          args.push(params.path);
+        }
+
+        if (params.top) {
+          args.push("--top", params.top.toString());
+        }
+
+        const result = await pi.exec("invar", args, {
+          cwd: pi.cwd,
+          signal,
+        });
+
+        if (result.killed) {
+          throw new Error("Map command was cancelled");
+        }
+
+        if (result.exitCode !== 0) {
+          throw new Error(`Failed to generate map: ${result.stderr}`);
+        }
+
+        return {
+          content: [{ type: "text", text: result.stdout }],
+          details: {
+            path: params.path || ".",
+            top: params.top || 10,
+          },
+        };
+      },
+    },
+  ];
+};
+
+export default factory;

invar/templates/skills/invar-reflect/CONFIG.md

@@ -16,6 +16,46 @@ The `/invar-reflect` skill can be triggered:
 
 ## Proposed Hook Schema
 
+
+### Message Count Trigger (Implemented - DX-79)
+
+**Status**: ✅ Implemented in v1.15.0
+
+Both Claude Code and Pi now support automatic feedback triggering via **message count threshold**.
+
+**Configuration in `.claude/settings.local.json`**:
+
+```json
+{
+  "feedback": {
+    "enabled": true,
+    "min_messages": 30
+  }
+}
+```
+
+**Hook Parameters**:
+
+| Parameter | Type | Default | Description |
+|-----------|------|---------|-------------|
+| `enabled` | boolean | true | Enable feedback collection |
+| `min_messages` | number | 30 | Minimum messages before trigger |
+
+**How it works**:
+
+1. **Message counting**: Both hooks track message count per session
+2. **Threshold trigger**: At `min_messages`, hook displays reminder
+3. **User action**: Agent sees reminder and can run `/invar-reflect`
+
+**Cross-platform implementation**:
+
+| Platform | Hook File | Mechanism |
+|----------|-----------|-----------|
+| **Claude Code** | `.claude/hooks/invar.UserPromptSubmit.sh` | Bash script with jq config parsing |
+| **Pi** | `.pi/hooks/invar.ts` | TypeScript with fs config reading |
+
+Both read the same `.claude/settings.local.json` configuration file.
+
 ### PostTaskCompletion Hook (Waiting for Claude Code Support)
 
 **Proposed configuration in `.claude/settings.json`**:
@@ -69,24 +109,46 @@ The `/invar-reflect` skill can be triggered:
 
 ## Triggering Conditions
 
-The hook triggers when **ALL** conditions are met:
 
-1. ✅ **Task completed** - User finished major work (natural stopping point)
-2. ✅ **Message count >= 30** - Sufficient context for meaningful feedback
-3. ✅ **Duration >= 2 hours** - Non-trivial session (avoids quick fixes)
+The hook triggers when the message count reaches the configured threshold (default: 30).
 
-**No hard frequency cap**: Same-day sessions merge into single file (see SKILL.md for merge logic).
+**Conditions**:
 
----
+1. ✅ **Message count >= min_messages** (default: 30)
+2. ✅ **Feedback enabled** (`feedback.enabled = true`)
+
+**No hard frequency cap**: Users can run `/invar-reflect` manually at any time.
+
+**Customizing threshold**:
+
+```json
+{
+  "feedback": {
+    "enabled": true,
+    "min_messages": 50  // Trigger at 50 messages instead of 30
+  }
+}
+```
 
 ## Silent Mode
 
-When `mode: "silent"`:
-- Feedback generation runs in background
-- No interruption to current conversation
-- User sees notification only: `✓ Feedback saved to .invar/feedback/feedback-{date}.md`
 
----
+The hook displays a **reminder** when the threshold is reached:
+
+```
+<system-reminder>
+━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
+📊 Invar: Auto-triggering usage feedback (30 messages)
+━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
+
+Session has reached 30 messages. Consider running /invar-reflect
+to generate usage feedback.
+
+To disable: Set feedback.enabled=false in .claude/settings.local.json
+</system-reminder>
+```
+
+**Note**: The agent sees this reminder and can choose to invoke `/invar-reflect` or continue working.
 
 ## User Control
 
@@ -144,7 +206,68 @@ rm .invar/feedback/feedback-2026-01-03.md
 
 ## Workaround: Using Stop Hook (Until PostTaskCompletion is Available)
 
-Since Claude Code doesn't yet support `PostTaskCompletion` hook, you can use the `Stop` hook as a temporary workaround.
+
+### Implementation Details
+
+**Claude Code Hook** (`.claude/hooks/invar.UserPromptSubmit.sh`):
+
+```bash
+# DX-79: Feedback trigger at threshold
+FEEDBACK_ENABLED=true
+MIN_MESSAGES=30
+
+if [[ -f ".claude/settings.local.json" ]]; then
+  if command -v jq &> /dev/null; then
+    FEEDBACK_ENABLED=$(jq -r '.feedback.enabled // true' .claude/settings.local.json)
+    MIN_MESSAGES=$(jq -r '.feedback.min_messages // 30' .claude/settings.local.json)
+  fi
+fi
+
+if [[ "$FEEDBACK_ENABLED" == "true" && $COUNT -eq $MIN_MESSAGES ]]; then
+  echo "<system-reminder>"
+  echo "📊 Invar: Auto-triggering usage feedback ($COUNT messages)"
+  echo "Consider running /invar-reflect to generate usage feedback."
+  echo "</system-reminder>"
+fi
+```
+
+**Pi Hook** (`.pi/hooks/invar.ts`):
+
+```typescript
+// DX-79: Helper to read feedback configuration
+function readFeedbackConfig() {
+  try {
+    const fs = require("fs");
+    const settingsPath = ".claude/settings.local.json";
+    if (fs.existsSync(settingsPath)) {
+      const settings = JSON.parse(fs.readFileSync(settingsPath, "utf-8"));
+      return {
+        enabled: settings.feedback?.enabled ?? true,
+        min_messages: settings.feedback?.min_messages ?? 30,
+      };
+    }
+  } catch {
+    // Ignore errors, use defaults
+  }
+  return { enabled: true, min_messages: 30 };
+}
+
+pi.on("agent_start", async () => {
+  msgCount++;
+  
+  // ... protocol refresh logic ...
+  
+  const feedbackConfig = readFeedbackConfig();
+  if (msgCount === feedbackConfig.min_messages && feedbackConfig.enabled) {
+    pi.send(`<system-reminder>
+📊 Invar: Auto-triggering usage feedback (${msgCount} messages)
+Consider running /invar-reflect to generate usage feedback.
+</system-reminder>`);
+  }
+});
+```
+
+**Installation**: Hooks are automatically installed via `invar init --claude` or `invar init --pi`.
 
 ### Stop Hook Implementation
 
@@ -332,24 +455,26 @@ Enable automatic feedback collection? [Y/n]:
 
 ## Phase B Status
 
-**Completed**:
-- ✅ Hook schema designed
-- ✅ Configuration structure defined
-- ✅ User control mechanism specified
-- ✅ Stop hook workaround documented
 
-**Waiting for Claude Code Support**:
-- ⏸️ PostTaskCompletion hook type
-- ⏸️ Skill invocation from hooks
-- ⏸️ Session state tracking (message count, duration)
+**Completed** (v1.15.0):
+- ✅ Message Count trigger strategy designed
+- ✅ Cross-platform implementation (Claude Code + Pi)
+- ✅ Shared configuration structure
+- ✅ Hook templates updated
+- ✅ Installation via `invar init`
 
-**Next Steps**:
-- Implement Phase C: Init Integration (can be done independently)
-- Submit feature request to Claude Code for PostTaskCompletion hook
-- Test manual `/invar-reflect` invocation thoroughly
+**Replaced PostTaskCompletion with Message Count** because:
+- PostTaskCompletion hook not supported by Claude Code or Pi
+- Message count is universally implementable
+- Simpler, more predictable trigger mechanism
+- User has full control via config
 
----
+**Testing**:
+- Manual `/invar-reflect` invocation: Works
+- Hook trigger at threshold: Implemented
+- Config disable: Honored by both hooks
+- Multi-agent setup: Both hooks installed
 
-**Version**: 1.0 (Phase B - Proposed)
-**Updated**: 2026-01-03
-**Related**: DX-79 Invar Usage Feedback Collection
+**Next Steps**:
+- Monitor user feedback on threshold defaults
+- Consider adding reminder messages at other checkpoints (e.g., 60, 90 messages)

{invar_tools-1.14.0.dist-info → invar_tools-1.15.0.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: invar-tools
-Version: 1.14.0
+Version: 1.15.0
 Summary: AI-native software engineering tools with design-by-contract verification
 Project-URL: Homepage, https://github.com/tefx/invar
 Project-URL: Documentation, https://github.com/tefx/invar#readme
@@ -190,8 +190,9 @@ cd your-project
 uvx invar-tools init
 
 # Or quick setup (skip prompts)
-uvx invar-tools init --claude    # Claude Code
-uvx invar-tools init --pi        # Pi Coding Agent
+uvx invar-tools init --claude    # Claude Code only
+uvx invar-tools init --pi        # Pi only
+uvx invar-tools init --claude --pi  # Both agents (DX-81)
 uvx invar-tools init --mcp-only  # MCP tools only (legacy projects)
 
 # Add runtime contracts to your project
@@ -492,6 +493,7 @@ AlphaCodium · Parsel · Reflexion · Clover
 |-------|--------|-------|
 | **Claude Code** | ✅ Full | `invar init --claude` |
 | **[Pi](https://shittycodingagent.ai/)** | ✅ Full | `invar init --pi` |
+| **Multi-Agent** | ✅ Full | `invar init --claude --pi` (DX-81) |
 | **Cursor** | ✅ MCP | `invar init` → select Other, add MCP config |
 | **Other** | 📝 Manual | `invar init` → select Other, include `AGENT.md` in prompt |
 
@@ -821,6 +823,7 @@ rules = ["missing_contract", "shell_result"]
 | `invar init` | Initialize or update project (interactive) |
 | `invar init --claude` | Quick setup for Claude Code |
 | `invar init --pi` | Quick setup for Pi agent |
+| `invar init --claude --pi` | Setup for both agents (DX-81) |
 | `invar init --mcp-only` | MCP tools only (no framework files) |
 | `invar uninstall` | Remove Invar from project (preserves user content) |
 | `invar sig <file>` | Show signatures and contracts |

{invar_tools-1.14.0.dist-info → invar_tools-1.15.0.dist-info}/RECORD

@@ -72,6 +72,7 @@ invar/shell/mcp_config.py,sha256=-hC7Y5BGuVs285b6gBARk7ZyzVxHwPgXSyt_GoN0jfs,458
 invar/shell/mutation.py,sha256=Lfyk2b8j8-hxAq-iwAgQeOhr7Ci6c5tRF1TXe3CxQCs,8914
 invar/shell/pattern_integration.py,sha256=pRcjfq3NvMW_tvQCnaXZnD1k5AVEWK8CYOE2jN6VTro,7842
 invar/shell/pi_hooks.py,sha256=ulZc1sP8mTRJTBsjwFHQzUgg-h8ajRIMp7iF1Y4UUtw,6885
+invar/shell/pi_tools.py,sha256=_xTxE3zeEWSUm3IuuMziglkB_nL8NIco7kQ2nZkCMLU,3668
 invar/shell/property_tests.py,sha256=N9JreyH5PqR89oF5yLcX7ZAV-Koyg5BKo-J05-GUPsA,9109
 invar/shell/py_refs.py,sha256=Vjz50lmt9prDBcBv4nkkODdiJ7_DKu5zO4UPZBjAfmM,4638
 invar/shell/skill_manager.py,sha256=Mr7Mh9rxPSKSAOTJCAM5ZHiG5nfUf6KQVCuD4LBNHSI,12440
@@ -85,7 +86,7 @@ invar/shell/commands/doc.py,sha256=SOLDoCXXGxx_JU0PKXlAIGEF36PzconHmmAtL-rM6D4,1
 invar/shell/commands/feedback.py,sha256=lLxEeWW_71US_vlmorFrGXS8IARB9nbV6D0zruLs660,7640
 invar/shell/commands/guard.py,sha256=xTQ8cPp-x1xMCtufKxmMNUSpIpH31uUjziAB8ifCnC0,24837
 invar/shell/commands/hooks.py,sha256=W-SOnT4VQyUvXwipozkJwgEYfiOJGz7wksrbcdWegUg,2356
-invar/shell/commands/init.py,sha256=bYrQWkDXGKEqncLgCFicSRt6LAmA34XyBFJ31kip-1Q,22564
+invar/shell/commands/init.py,sha256=vaPo0p7xBm3Nfgu9ytcvAjgk4dQBKvyEhrz_Cg1URMQ,23557
 invar/shell/commands/merge.py,sha256=nuvKo8m32-OL-SCQlS4SLKmOZxQ3qj-1nGCx1Pgzifw,8183
 invar/shell/commands/mutate.py,sha256=GwemiO6LlbGCBEQsBFnzZuKhF-wIMEl79GAMnKUWc8U,5765
 invar/shell/commands/perception.py,sha256=HewSv6Kv8Gw2UQqkGY2rP5YKlnwyC3LBrQ2hFVXXw30,19304
@@ -135,13 +136,14 @@ invar/templates/examples/typescript/workflow.md,sha256=5byADjA3WgOgiDbkEtVRKKGvl
 invar/templates/hooks/PostToolUse.sh.jinja,sha256=JHJGMdF3xp2qEqkPC9GaLp0NCa5gdRzqAmgRy4IldBg,3428
 invar/templates/hooks/PreToolUse.sh.jinja,sha256=tZb-FGFxOBtTprUfeChau7rZOMPII69_5HSF-i_WD4Q,3558
 invar/templates/hooks/Stop.sh.jinja,sha256=SD0PhBPeun7DTvn8Erbz11PBGAwGby4tMTd97yOJuTQ,981
-invar/templates/hooks/UserPromptSubmit.sh.jinja,sha256=sUsqBiXzIEM3C8NdN4s4C7KqPlamyVhk5_-3zd5TC9Y,2621
+invar/templates/hooks/UserPromptSubmit.sh.jinja,sha256=5xs-ASw8s_tHLvtA30nm5J7PhbpIML-8Hhv-QTTuhKY,3981
 invar/templates/hooks/__init__.py,sha256=RnnMoQA-8eqbr8Y_1Vu9B8h5vAz4C-vmo8wgdcGYrz0,43
-invar/templates/hooks/pi/invar.ts.jinja,sha256=0V7kBxPfXx18wGbZRT4F1CcuaK09oHh2IJll62N4XVM,2620
+invar/templates/hooks/pi/invar.ts.jinja,sha256=WLEYwO8tvdu9RakxFtcVRuBmaE3HgRAUFf9T5OmgP0s,4027
 invar/templates/onboard/assessment.md.jinja,sha256=EzqF0VUcxJZG2bVJLxTOyQlAERRbh9v9hXKVt6vcbxY,5850
 invar/templates/onboard/roadmap.md.jinja,sha256=gmvZk4Hdwe0l3qSFV15QGcsr-OPMhsc6-1K9F2SFSIQ,3939
 invar/templates/onboard/patterns/python.md,sha256=3wwucAcQz0DlggtpqYo-ZCnmrXgBQ0aBgUHN_EZ1VW0,8681
 invar/templates/onboard/patterns/typescript.md,sha256=yOVfHtdAdjKkWNh66_dR7z2xEA4sggbIcCKthW-fqac,11983
+invar/templates/pi-tools/invar/index.ts,sha256=fhE3aGKk5VYcUdbeVMv-x3tqWHA0eVU641pytY06Bvg,6694
 invar/templates/protocol/INVAR.md.jinja,sha256=t2ZIQZJvzDTJMrRw_ijUo6ScZmeNK0-nV-H7ztTIyQQ,1464
 invar/templates/protocol/python/architecture-examples.md,sha256=O96LH9WFpk7G9MrhSbifLS5pyibTIDG-_EGFF7g3V4M,1175
 invar/templates/protocol/python/contracts-syntax.md,sha256=Q6supTQ3tChVrlN7xhcdb3Q8VGIESxQLA-mQvrNIZmo,1162
@@ -173,16 +175,16 @@ invar/templates/skills/extensions/security/SKILL.md,sha256=5mLwf4JP82Wq1vKkDIJwi
 invar/templates/skills/extensions/security/patterns/_common.yaml,sha256=75BvSABWUtO1VXFvdsMgqi86J1759T4ROhYYcizSygQ,3680
 invar/templates/skills/extensions/security/patterns/python.yaml,sha256=osyR8mWiyjW6tWjZA7QZfBIiim7XqgBYnrE45ktDx50,4658
 invar/templates/skills/extensions/security/patterns/typescript.yaml,sha256=qDEg-sxSE63Bis2IZG1y4L8m8g2ZYkC29o6t-J_LmUo,5508
-invar/templates/skills/invar-reflect/CONFIG.md,sha256=xBiKEy0TnoXNxqn55_GpkNGgmXoUg65RXwb_RdF-eGk,9291
+invar/templates/skills/invar-reflect/CONFIG.md,sha256=G8KVNROQIm7CvjrB7cwzOANQOfJg3-1_0zRVZR1sX44,12852
 invar/templates/skills/invar-reflect/SKILL.md,sha256=z0Nyh9JasZr70XhE9Es7IslxL3C8wH2lf8RewQi4Lbs,11285
 invar/templates/skills/invar-reflect/template.md,sha256=Rr5hvbllvmd8jSLf_0ZjyKt6KOod0RlNdCtZJ3lYjiM,10470
 invar/templates/skills/investigate/SKILL.md.jinja,sha256=cp6TBEixBYh1rLeeHOR1yqEnFqv1NZYePORMnavLkQI,3231
 invar/templates/skills/propose/SKILL.md.jinja,sha256=6BuKiCqO1AEu3VtzMHy1QWGqr_xqG9eJlhbsKT4jev4,3463
 invar/templates/skills/review/SKILL.md.jinja,sha256=ET5mbdSe_eKgJbi2LbgFC-z1aviKcHOBw7J5Q28fr4U,14105
-invar_tools-1.14.0.dist-info/METADATA,sha256=1cKRlX8XrRzgAVc_9EJeCzXWrDBAUFooA8tSIktfclk,28409
-invar_tools-1.14.0.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
-invar_tools-1.14.0.dist-info/entry_points.txt,sha256=RwH_EhqgtFPsnO6RcrwrAb70Zyfb8Mh6uUtztWnUxGk,102
-invar_tools-1.14.0.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
-invar_tools-1.14.0.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
-invar_tools-1.14.0.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
-invar_tools-1.14.0.dist-info/RECORD,,
+invar_tools-1.15.0.dist-info/METADATA,sha256=Xm0Suh3a3jfCfDBqzsuYpuVRwT4dWxRF5-PnZDMgYas,28595
+invar_tools-1.15.0.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
+invar_tools-1.15.0.dist-info/entry_points.txt,sha256=RwH_EhqgtFPsnO6RcrwrAb70Zyfb8Mh6uUtztWnUxGk,102
+invar_tools-1.15.0.dist-info/licenses/LICENSE,sha256=qeFksp4H4kfTgQxPCIu3OdagXyiZcgBlVfsQ6M5oFyk,10767
+invar_tools-1.15.0.dist-info/licenses/LICENSE-GPL,sha256=IvZfC6ZbP7CLjytoHVzvpDZpD-Z3R_qa1GdMdWlWQ6Q,35157
+invar_tools-1.15.0.dist-info/licenses/NOTICE,sha256=joEyMyFhFY8Vd8tTJ-a3SirI0m2Sd0WjzqYt3sdcglc,2561
+invar_tools-1.15.0.dist-info/RECORD,,