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

{invar_tools-1.14.0 → invar_tools-1.15.1}/.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.15.1/CHANGELOG.md

@@ -0,0 +1,370 @@
+# Changelog
+
+All notable changes to Invar will be documented in this file.
+
+The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
+and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
+
+## [Unreleased]
+
+
+
+## [1.15.1] - 2026-01-03
+
+### Added
+- **Pi Custom Tools: Document Tools** - Added 6 doc tools for structured markdown editing
+  - `invar_doc_toc`: Extract document structure (Table of Contents)
+  - `invar_doc_read`: Read specific section from a document
+  - `invar_doc_find`: Find sections matching a pattern
+  - `invar_doc_replace`: Replace section content
+  - `invar_doc_insert`: Insert content relative to a section
+  - `invar_doc_delete`: Delete a section
+  - All tools follow the same security patterns as core tools (path validation, temp file handling)
+  - Brings Pi custom tools to parity with MCP server capabilities (9 tools total)
+
+### Fixed
+- **Pi Custom Tools: uvx Fallback Support** - Automatic fallback to `uvx invar-tools`
+  - Added `resolveInvarCommand()` helper to replace `checkInvarInstalled()`
+  - Try `invar` command first (if installed in PATH)
+  - Fallback to `uvx invar-tools` if `invar` not found
+  - No installation required - uvx downloads and runs invar-tools on-demand
+  - Matches the 3-tier calling method documented in CLAUDE.md
+  - All 9 tools updated to use the command resolver
+
+### Added
+- **Pi Custom Tools: Document Tools** - Added 6 doc tools for structured markdown editing
+  - `invar_doc_toc`: Extract document structure (Table of Contents)
+  - `invar_doc_read`: Read specific section from a document
+  - `invar_doc_find`: Find sections matching a pattern
+  - `invar_doc_replace`: Replace section content
+  - `invar_doc_insert`: Insert content relative to a section
+  - `invar_doc_delete`: Delete a section
+  - All tools follow the same security patterns as core tools (path validation, temp file handling)
+  - Brings Pi custom tools to parity with MCP server capabilities
+
+### Changed
+- **Pi Custom Tools: uvx Fallback Support** - Automatic fallback to `uvx invar-tools`
+  - Try `invar` command first (if installed in PATH)
+  - Fallback to `uvx invar-tools` if `invar` not found
+  - No installation required - uvx downloads and runs invar-tools on-demand
+  - Matches the 3-tier calling method documented in CLAUDE.md
+
+### Added
+- **Pi Custom Tools: Document Tools** - Added 6 doc tools for structured markdown editing
+  - `invar_doc_toc`: Extract document structure (Table of Contents)
+  - `invar_doc_read`: Read specific section from a document
+  - `invar_doc_find`: Find sections matching a pattern
+  - `invar_doc_replace`: Replace section content
+  - `invar_doc_insert`: Insert content relative to a section
+  - `invar_doc_delete`: Delete a section
+  - All tools follow the same security patterns as core tools (path validation, temp file handling)
+  - Brings Pi custom tools to parity with MCP server capabilities
+
+## [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
+- **DX-79: Invar Usage Feedback Collection** - Complete implementation of automatic feedback generation system
+  - `/invar-reflect` skill: Generate structured feedback on Invar tool usage
+    - Analyzes tool usage patterns and pain points
+    - Tracks learning curves and confusion points
+    - Produces detailed markdown reports in `.invar/feedback/`
+  - **CLI tools** for feedback management:
+    - `invar feedback list` - Display all feedback files with timestamps
+    - `invar feedback cleanup` - Remove old feedback files (default: >90 days)
+    - `invar feedback anonymize` - Strip sensitive data for safe sharing
+  - **Core anonymization logic** (`src/invar/core/feedback.py`):
+    - Removes 8 types of sensitive data (emails, IPs, paths, tokens, etc.)
+    - Contract-verified with `@pre`/`@post` and doctests
+    - CrossHair symbolic verification passed
+  - **Init integration**:
+    - Automatic feedback configuration in `.claude/settings.local.json`
+    - Interactive consent prompt (opt-out design, default: enabled)
+    - Visible notifications in quick modes (`--claude`, `--pi`)
+  - **Template integration**: New projects get `/invar-reflect` skill out-of-box
+    - Added to `manifest.toml` with 3 files (SKILL.md, template.md, CONFIG.md)
+    - Installed automatically via `invar init --claude`
+
+### Fixed
+- **Round 2 review fixes**:
+  - Moved anonymization logic from Shell to Core (proper separation)
+  - Removed redundant type contracts (guard warning resolved)
+  - Fixed Pi notification path mismatch
+  - Expanded anonymization patterns (comprehensive coverage)
+
+### Security
+- Privacy-first design: All feedback stored locally, never sent automatically
+- Comprehensive anonymization for safe sharing with maintainers
+- User controls what (if anything) to share
+
+## [1.13.0] - 2026-01-03
+
+### Fixed
+- **guard CLI默认行为对齐MCP**: CLI和MCP默认都检查修改文件
+  - 修复设计遗留问题：CLI应该和MCP行为一致（agent-first原则）
+  - 之前：`invar guard` 检查全部文件（慢）
+  - 现在：`invar guard` 检查修改文件（快，和MCP一致）
+
+### Added
+- **新增`--all`标志**: 显式请求全检查
+  - `invar guard --all` - 检查整个项目（CI、release场景）
+  - 向后兼容：`invar guard --changed` 仍然有效
+- **Tool Selection文档章节**: 解决Pi等不支持MCP的agent调用问题
+  - 三种等价调用方式对照表（MCP / CLI / uvx）
+  - 参数映射说明
+  - 快速示例
+
+### Migration
+- **Agent用户（主要）**: 自动获得更快体验，无需改动
+- **CI脚本（极少）**: 如需全检查，改为 `invar guard --all`
+- **Pre-commit hooks**: 不受影响（已经用--changed）
+
+## [1.12.0] - 2026-01-03
+
+### Added
+- **DX-78: TypeScript Compiler API Integration**
+  - Full TypeScript semantic analysis via Compiler API
+  - `invar refs` command for finding symbol references across Python and TypeScript
+  - Security fixes for TypeScript code analysis
+  - Comprehensive MCP handlers for TypeScript tools
+
+### Fixed
+- Skill frontmatter missing in skill definitions
+
+## [1.11.0] - 2025-12
+
+### Added
+- **DX-77: MCP Document Tools Enhancements**
+  - Phase A: Batch section reading with `invar_doc_read_many`
+  - Unicode-aware fuzzy matching for section search
+  - Explicit tool substitution hints
+
+### Changed
+- Documentation improvements for MCP server configuration
+
+## [1.10.0] - 2025-12
+
+### Added
+- **DX-75: Lightweight Review Strategy**
+  - Scope-based review strategies (THOROUGH, HYBRID, CHUNKED)
+  - Isolation requirements for non-trivial implementations
+
+### Changed
+- Review skill now spawns isolated subagents based on scope
+
+## [1.9.0] - 2025-12
+
+### Added
+- **DX-63: Contracts-First Enforcement**
+  - `--contracts-only` flag for contract coverage checking
+  - Function-level gates in BUILD phase
+  - Incremental development patterns
+
+### Changed
+- USBV workflow now enforces contracts before implementation
+
+## [1.8.0] - 2025-12
+
+### Added
+- **DX-54: Context Management**
+  - Context refresh requirements at workflow entry points
+  - Task Router in `.invar/context.md`
+
+### Changed
+- Workflow skills now read context on entry
+
+## [1.7.0] - 2025-12
+
+### Added
+- **DX-51: Workflow Phase Visibility**
+  - Visual phase headers for USBV transitions
+  - Three-layer visibility (Skill, Phase, Tasks)
+
+### Changed
+- Phase transitions now display clear visual separators
+
+## [1.6.0] - 2025-12
+
+### Added
+- **DX-42: Workflow Auto-Routing**
+  - Automatic skill selection based on trigger words
+  - User redirect capability with natural language
+  - Simple task optimization
+
+### Changed
+- Skills now announce routing decisions before execution
+
+## [1.5.0] - 2025-12
+
+### Added
+- **DX-41: Automatic Review Orchestration**
+  - Guard triggers `review_suggested` for security-sensitive changes
+  - Auto-entry to /review skill
+
+### Changed
+- Review is now automatically invoked after development when appropriate
+
+## [1.4.0] - 2025-12
+
+### Added
+- **DX-37: Coverage Integration**
+  - `--coverage` flag for branch coverage collection
+  - Integration with pytest-cov
+
+### Changed
+- Guard can now collect and report branch coverage
+
+## [1.3.0] - 2025-12
+
+### Added
+- **DX-30: Visible Workflow**
+  - TodoList checkpoints for complex tasks (UNDERSTAND, SPECIFY, VALIDATE)
+  - Contracts shown before code in SPECIFY phase
+
+### Changed
+- BUILD phase is now internal work (not shown in TodoList)
+
+## [1.2.0] - 2025-12
+
+### Added
+- **DX-26: Guard Simplification**
+  - Agent mode auto-detection (TTY vs non-TTY)
+  - JSON output for non-TTY environments
+
+### Changed
+- Guard now automatically outputs JSON when piped
+
+## [1.1.0] - 2025-12
+
+### Added
+- **DX-21: Package and Init**
+  - `invar init` command for project initialization
+  - Template-based CLAUDE.md and INVAR.md generation
+
+### Changed
+- Initial project setup now streamlined with `invar init`
+
+## [1.0.0] - 2025-12
+
+### Added
+- Initial release of Invar
+- Core/Shell architecture
+- Contract-based verification (@pre/@post)
+- USBV workflow (Understand → Specify → Build → Validate)
+- Smart Guard (static + doctests + CrossHair + Hypothesis)
+- MCP server for Claude Code integration
+- CLI tools (guard, sig, map, rules)
+- Multi-agent support (Claude Code, Aider, Pi)
+
+---
+
+[Unreleased]: https://github.com/yourusername/invar/compare/v1.15.1...HEAD
+[1.15.1]: https://github.com/yourusername/invar/compare/v1.15.0...v1.15.1
+[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
+[1.10.0]: https://github.com/yourusername/invar/compare/v1.9.0...v1.10.0
+[1.9.0]: https://github.com/yourusername/invar/compare/v1.8.0...v1.9.0
+[1.8.0]: https://github.com/yourusername/invar/compare/v1.7.0...v1.8.0
+[1.7.0]: https://github.com/yourusername/invar/compare/v1.6.0...v1.7.0
+[1.6.0]: https://github.com/yourusername/invar/compare/v1.5.0...v1.6.0
+[1.5.0]: https://github.com/yourusername/invar/compare/v1.4.0...v1.5.0
+[1.4.0]: https://github.com/yourusername/invar/compare/v1.3.0...v1.4.0
+[1.3.0]: https://github.com/yourusername/invar/compare/v1.2.0...v1.3.0
+[1.2.0]: https://github.com/yourusername/invar/compare/v1.1.0...v1.2.0
+[1.1.0]: https://github.com/yourusername/invar/compare/v1.0.0...v1.1.0
+[1.0.0]: https://github.com/yourusername/invar/releases/tag/v1.0.0

{invar_tools-1.14.0 → invar_tools-1.15.1}/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.1}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: invar-tools
-Version: 1.14.0
+Version: 1.15.1
 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.1}/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.1}/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)
 
 ---