invar-tools 1.14.0__tar.gz → 1.15.0__tar.gz

{invar_tools-1.14.0 → invar_tools-1.15.0}/.invar/context.md

@@ -51,17 +51,17 @@
 
 ## Current State
 
-- **PyPI:** `invar-tools` v1.12.0 + `invar-runtime` v1.3.0
+- **PyPI:** `invar-tools` v1.14.0 + `invar-runtime` v1.3.0
 - **Protocol:** v5.0 (USBV workflow, DX-58 critical section)
-- **Status:** Feature complete, TypeScript support added (DX-78)
-- **Recent:** DX-78 (TypeScript Compiler API integration), LX-05 (language-agnostic), LX-06 (TypeScript tooling), LX-07 (Extension Skills)
+- **Status:** Feature complete, multi-agent support added (DX-81)
+- **Recent:** DX-81 (Multi-agent init support), DX-79 (Feedback collection), DX-78 (TypeScript Compiler API)
 - **Blockers:** None
 
 ## Active Work
 
 See [docs/proposals/](../docs/proposals/) for planned changes.
 
-**Current focus:** Extension Skills completion, TypeScript verification
+**Current focus:** DX-81 (Multi-agent init) completed, ready for v1.15.0 release
 
 ---
 
@@ -185,6 +185,8 @@ gh release create vX.Y.Z --title "vX.Y.Z - Title" --notes "..."
 
 | Version | Date | Highlights |
 |---------|------|------------|
+| 1.15.0 | 2026-01 | Multi-agent init support (DX-81), checkbox selection UI |
+| 1.14.0 | 2026-01 | Invar usage feedback collection (DX-79), anonymization tools |
 | 1.12.0 | 2026-01 | TypeScript Compiler API integration (DX-78), multi-language refs |
 | 1.9.0 | 2026-01 | Extension Skills (LX-07), TypeScript support (LX-05/06) |
 | 1.8.0 | 2025-12 | Claude hooks improvements, interactive init (DX-70) |

{invar_tools-1.14.0 → invar_tools-1.15.0}/CHANGELOG.md

@@ -7,6 +7,99 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [1.15.0] - 2026-01-03
+
+### Added
+- **DX-81: Multi-Agent Init Support** - Complete implementation
+  - Remove mutual exclusivity between `--claude` and `--pi` flags
+  - Support combined flags: `invar init --claude --pi`
+  - Install both `.claude/hooks/` and `.pi/hooks/` simultaneously
+  - **Interactive mode enhancement**:
+    - Changed from single-select to checkbox multi-select
+    - Allow selecting multiple agents with Space key
+    - Claude Code pre-checked as default
+  - **Backward compatibility maintained**:
+    - `invar init --claude` works as before (Claude only)
+    - `invar init --pi` works as before (Pi only)
+    - Sequential init (`--claude` then `--pi`) still works
+  - **Use cases enabled**:
+    - Team collaboration (different members use different agents)
+    - Agent switching (both configured, use either)
+    - Open source projects (contributors have agent choice)
+- **DX-79: Message Count Auto-Trigger for /invar-reflect** - Cross-platform feedback automation
+  - Automatic feedback reminder at configurable message threshold (default: 30)
+  - **Claude Code implementation**: UserPromptSubmit hook with jq config parsing
+  - **Pi implementation**: TypeScript hook with fs config reading
+  - **Shared configuration**: Both read `.claude/settings.local.json` feedback section
+  - **User control**: Disable via `feedback.enabled=false` or adjust `min_messages` threshold
+  - Replaces unimplemented PostTaskCompletion hook with simpler, universally-supported approach
+- **Pi Custom Tools for Invar** - Native tool integration without CLI dependency
+  - `invar_guard`: Smart verification wrapper (static + doctests + symbolic)
+  - `invar_sig`: Show function signatures and contracts
+  - `invar_map`: Symbol map with reference counts
+  - Auto-installed via `invar init --pi` in `.pi/tools/invar/index.ts`
+  - Pi auto-discovers tools, no configuration needed
+  - Solves problem of Pi agents not actively using invar tools (falling back to pytest/grep)
+
+### Changed
+- Agent selection prompt now uses checkbox instead of radio buttons
+- Header shows "Claude Code + Pi" when both flags used
+- File selection logic builds from all selected agents' categories
+
+### Fixed
+- **Security hardening in Pi templates** (3-round adversarial review)
+  - Path injection defense with comprehensive shell metacharacter blocking
+  - TOCTOU race condition eliminated in config reading
+  - Runtime type validation for external inputs
+  - ES module consistency (no CommonJS mixing)
+
+### Documentation
+- Updated README.md with multi-agent examples
+- Added Multi-Agent Support section to CLAUDE.md
+- Updated context.md to reflect DX-81 completion
+
+### Added
+- **DX-81: Multi-Agent Init Support** - Complete implementation
+  - Remove mutual exclusivity between `--claude` and `--pi` flags
+  - Support combined flags: `invar init --claude --pi`
+  - Install both `.claude/hooks/` and `.pi/hooks/` simultaneously
+  - **Interactive mode enhancement**:
+    - Changed from single-select to checkbox multi-select
+    - Allow selecting multiple agents with Space key
+    - Claude Code pre-checked as default
+  - **Backward compatibility maintained**:
+    - `invar init --claude` works as before (Claude only)
+    - `invar init --pi` works as before (Pi only)
+    - Sequential init (`--claude` then `--pi`) still works
+  - **Use cases enabled**:
+    - Team collaboration (different members use different agents)
+    - Agent switching (both configured, use either)
+    - Open source projects (contributors have agent choice)
+- **DX-79: Message Count Auto-Trigger for /invar-reflect** - Cross-platform feedback automation
+  - Automatic feedback reminder at configurable message threshold (default: 30)
+  - **Claude Code implementation**: UserPromptSubmit hook with jq config parsing
+  - **Pi implementation**: TypeScript hook with fs config reading
+  - **Shared configuration**: Both read `.claude/settings.local.json` feedback section
+  - **User control**: Disable via `feedback.enabled=false` or adjust `min_messages` threshold
+  - Replaces unimplemented PostTaskCompletion hook with simpler, universally-supported approach
+- **Pi Custom Tools for Invar** - Native tool integration without CLI dependency
+  - `invar_guard`: Smart verification wrapper (static + doctests + symbolic)
+  - `invar_sig`: Show function signatures and contracts
+  - `invar_map`: Symbol map with reference counts
+  - Auto-installed via `invar init --pi` in `.pi/tools/invar/index.ts`
+  - Pi auto-discovers tools, no configuration needed
+  - Solves problem of Pi agents not actively using invar tools (falling back to pytest/grep)
+
+### Changed
+- Agent selection prompt now uses checkbox instead of radio buttons
+- Header shows "Claude Code + Pi" when both flags used
+- File selection logic builds from all selected agents' categories
+
+### Documentation
+- Updated README.md with multi-agent examples
+- Added Multi-Agent Support section to CLAUDE.md
+- Updated context.md to reflect DX-81 completion
+
 ## [1.14.0] - 2026-01-03
 
 ### Added
@@ -204,7 +297,9 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ---
 
-[Unreleased]: https://github.com/yourusername/invar/compare/v1.13.0...HEAD
+[Unreleased]: https://github.com/yourusername/invar/compare/v1.15.0...HEAD
+[1.15.0]: https://github.com/yourusername/invar/compare/v1.14.0...v1.15.0
+[1.14.0]: https://github.com/yourusername/invar/compare/v1.13.0...v1.14.0
 [1.13.0]: https://github.com/yourusername/invar/compare/v1.12.0...v1.13.0
 [1.12.0]: https://github.com/yourusername/invar/compare/v1.11.0...v1.12.0
 [1.11.0]: https://github.com/yourusername/invar/compare/v1.10.0...v1.11.0

{invar_tools-1.14.0 → invar_tools-1.15.0}/CLAUDE.md

@@ -102,51 +102,71 @@ src/{project}/
 
 ### Calling Methods (Priority Order)
 
-Invar tools can be called in 3 ways. **Try in order:**
 
-1. **MCP tools** (Claude Code with MCP enabled)
-   - Direct function calls: `invar_guard()`, `invar_sig()`, etc.
-   - No Bash wrapper needed
+Invar tools can be called in different ways depending on your agent:
 
-2. **CLI command** (if `invar` installed in PATH)
+**Claude Code (MCP enabled):**
+1. **MCP tools** - Direct function calls: `invar_guard()`, `invar_sig()`, etc.
+2. **CLI command** - Via Bash: `invar guard`, `invar sig`, etc.
+
+**Pi Coding Agent:**
+1. **Custom tools** (auto-installed via `invar init --pi`)
+   - Direct tool calls: `invar_guard(changed=true)`, `invar_sig(target="file.py")`, `invar_map(top=10)`
+   - Installed in `.pi/tools/invar/index.ts`
+   - Pi auto-discovers tools, no configuration needed
+2. **CLI command** (fallback)
    - Via Bash: `invar guard`, `invar sig`, etc.
-   - Install: `pip install invar-tools`
 
-3. **uvx fallback** (always available, no install needed)
-   - Via Bash: `uvx invar-tools guard`, `uvx invar-tools sig`, etc.
+**Other agents:**
+- **CLI command** - Via Bash: `invar guard`, `invar sig`, etc.
+- **uvx fallback** - No install needed: `uvx invar-tools guard`
 
 ---
 
 ### Parameter Reference
 
+
 **guard** - Verify code quality
 ```python
-# MCP
+# MCP (Claude Code)
 invar_guard()                    # Check changed files (default)
 invar_guard(changed=False)       # Check all files
+
+# Pi Custom Tool
+invar_guard(changed=true)        # Check changed files (default)
+invar_guard(changed=false)       # Check all files
+invar_guard(coverage=true)       # Collect branch coverage
 ```
 
 **sig** - Show function signatures and contracts
 ```python
-# MCP
+# MCP (Claude Code)
+invar_sig(target="src/foo.py")
+
+# Pi Custom Tool
 invar_sig(target="src/foo.py")
+invar_sig(target="src/foo.py::MyClass")
 ```
 
 **map** - Find entry points
 ```python
-# MCP
+# MCP (Claude Code)
 invar_map(path=".", top=10)
+
+# Pi Custom Tool
+invar_map(path=".", top=10)
+invar_map(top=20)                # Show top 20 symbols
 ```
 
 **refs** - Find all references to a symbol
 ```python
-# MCP
+# MCP (Claude Code only - not available as Pi tool yet)
 invar_refs(target="src/foo.py::MyClass")
 ```
 
 **doc*** - Document tools
 ```python
-# MCP
+# MCP (Claude Code only - not available as Pi tool yet)
 invar_doc_toc(file="docs/spec.md")
 invar_doc_read(file="docs/spec.md", section="intro")
 ```
@@ -363,6 +383,34 @@ pip install -e runtime/    # Runtime in dev mode
 
 Run `ruff check --fix` frequently after changing code to fix lint issues before commit.
 
+## Multi-Agent Support (DX-81)
+
+**Status:** ✅ Implemented (v1.15.0)
+
+Invar now supports initializing projects for multiple agents simultaneously:
+
+```bash
+# Single agent (backward compatible)
+invar init --claude
+invar init --pi
+
+# Multiple agents (DX-81)
+invar init --claude --pi
+
+# Interactive mode with checkbox selection
+invar init  # Select multiple agents with Space key
+```
+
+**File Structure:**
+- Shared: CLAUDE.md, .claude/skills/, .invar/
+- Isolated: .claude/hooks/ (Claude Code), .pi/hooks/ (Pi)
+- No conflicts: All files designed for coexistence
+
+**Use Cases:**
+- Team collaboration (different members use different agents)
+- Agent switching (have both configured, use either)
+- Open source projects (contributors have agent choice)
+
 ## Session Restore
 
 When continuing from a previous session summary:

{invar_tools-1.14.0 → invar_tools-1.15.0}/PKG-INFO

@@ -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 → invar_tools-1.15.0}/README.md

@@ -146,8 +146,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
@@ -448,6 +449,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 |
 
@@ -777,6 +779,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 → invar_tools-1.15.0}/docs/guides/multi-agent.md

@@ -8,6 +8,7 @@ Invar's core value—USBV workflow, contract-driven development, and automated v
 |-------|--------|-------|
 | **Claude Code** | ✅ Full | `invar init --claude` |
 | **Pi** | ✅ Full | `invar init --pi` |
+| **Multi-Agent** | ✅ Full | `invar init --claude --pi` (DX-81) |
 | **Cursor** | ✅ MCP | `invar init` → select Other, add MCP |
 | **Other** | 📝 Manual | `invar init` → select Other, include `AGENT.md` in prompt |
 
@@ -203,14 +204,69 @@ Or if installed in a virtual environment:
 
 ---
 
+## Multi-Agent Setup (DX-81)
+
+**Use multiple agents in the same project**
+
+```bash
+# Setup both Claude Code and Pi
+invar init --claude --pi
+
+# Or interactive mode (select multiple with Space key)
+invar init  # Choose both "Claude Code" and "Pi Coding Agent"
+```
+
+**What gets installed:**
+- `.claude/hooks/` — Claude Code hooks (4 files)
+- `.pi/hooks/` — Pi hooks (1 file)
+- Shared files: `CLAUDE.md`, `.claude/skills/`, `.invar/`
+
+**Use cases:**
+- **Team collaboration** — Different team members use different agents
+- **Agent switching** — Have both configured, use either
+- **Open source** — Contributors can choose their preferred agent
+
+**File structure:**
+```
+project/
+├── CLAUDE.md              # Shared by both agents
+├── .claude/
+│   ├── skills/            # Shared by both agents
+│   └── hooks/             # Claude Code only
+├── .pi/
+│   └── hooks/             # Pi only
+└── .mcp.json              # Claude Code MCP config
+```
+
+**No conflicts:** All files designed for coexistence. Shared files (CLAUDE.md, skills) work identically for both agents. Isolated files (.claude/hooks/, .pi/hooks/) never interfere.
+
+---
+
 ## Migration Path
 
+### Adding a Second Agent
+
+Already using Claude Code or Pi? Add the other agent:
+
+```bash
+# Already have Claude Code, add Pi
+invar init --pi
+
+# Already have Pi, add Claude Code
+invar init --claude
+
+# Or use combined command (safe, no duplicates)
+invar init --claude --pi
+```
+
+All shared files (CLAUDE.md, skills) are safely merged. Only agent-specific hooks are added.
+
 ### From Claude Code to Pi
 
 No migration needed! Pi reads the same files:
 - CLAUDE.md → works in Pi
 - .claude/skills/ → works in Pi
-- Just run `invar init` → select Pi to add hooks
+- Just run `invar init --pi` to add Pi hooks
 
 ### From Claude Code to Others
 
@@ -220,7 +276,7 @@ No migration needed! Pi reads the same files:
 
 ### From Others to Claude Code
 
-1. Run `invar init` → select Claude Code
+1. Run `invar init --claude`
 2. All features auto-configured (skills, hooks, MCP)
 
 ---