invar-tools 1.7.0__tar.gz → 1.7.1__tar.gz

{invar_tools-1.7.0 → invar_tools-1.7.1}/.claude/hooks/invar.PostToolUse.sh

@@ -1,6 +1,6 @@
 #!/bin/bash
 # Invar PostToolUse Hook
-# Protocol: v5.0 | Generated: 2025-12-29
+# Protocol: v5.0 | Generated: 2025-12-30
 # DX-57: Git-based change detection with fallback
 
 TOOL_NAME="$1"

{invar_tools-1.7.0 → invar_tools-1.7.1}/.claude/hooks/invar.PreToolUse.sh

@@ -1,6 +1,6 @@
 #!/bin/bash
 # Invar PreToolUse Hook
-# Protocol: v5.0 | Generated: 2025-12-29
+# Protocol: v5.0 | Generated: 2025-12-30
 # DX-57: Smart blocking with auto-escape for pytest/crosshair
 
 TOOL_NAME="$1"

{invar_tools-1.7.0 → invar_tools-1.7.1}/.claude/hooks/invar.Stop.sh

@@ -1,6 +1,6 @@
 #!/bin/bash
 # Invar Stop Hook
-# Protocol: v5.0 | Generated: 2025-12-29
+# Protocol: v5.0 | Generated: 2025-12-30
 # DX-57: Session cleanup and unverified changes warning
 
 # Use session-specific state

{invar_tools-1.7.0 → invar_tools-1.7.1}/.claude/hooks/invar.UserPromptSubmit.sh

@@ -1,6 +1,6 @@
 #!/bin/bash
 # Invar UserPromptSubmit Hook
-# Protocol: v5.0 | Generated: 2025-12-29
+# Protocol: v5.0 | Generated: 2025-12-30
 # DX-57: Protocol refresh with full INVAR.md injection
 
 USER_MESSAGE="$1"
@@ -340,6 +340,7 @@ invar guard              # Full: static + doctests + CrossHair + Hypothesis
 invar guard --static     # Static only (quick debug, ~0.5s)
 invar guard --changed    # Modified files only
 invar guard --coverage   # Collect branch coverage
+invar guard -c           # Contract coverage only (DX-63)
 invar sig <file>         # Show contracts + signatures
 invar map --top 10       # Most-referenced symbols
 invar rules              # List all rules with detection/hints (JSON)

{invar_tools-1.7.0 → invar_tools-1.7.1}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: invar-tools
-Version: 1.7.0
+Version: 1.7.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
@@ -28,6 +28,7 @@ Requires-Dist: jinja2>=3.0
 Requires-Dist: mcp>=1.0
 Requires-Dist: pre-commit>=3.0
 Requires-Dist: pydantic>=2.0
+Requires-Dist: questionary>=2.0
 Requires-Dist: returns>=0.20
 Requires-Dist: rich>=13.0
 Requires-Dist: typer>=0.9
@@ -129,35 +130,24 @@ Guard passed.
 
 **Why uvx?** Always uses latest version, doesn't pollute project dependencies, auto-detects your project's venv.
 
-### 🆕 New Project
+### 🎯 Setup
 
 ```bash
-# 1. Enter your project directory
 cd your-project
 
-# 2. Initialize with Claude Code (full experience)
+# Interactive mode - choose what to install
+uvx invar-tools init
+
+# Or quick setup for Claude Code (skip prompts)
 uvx invar-tools init --claude
 
-# 3. Add runtime contracts to your project
+# Add runtime contracts to your project
 pip install invar-runtime
-# Or add to pyproject.toml: dependencies = ["invar-runtime"]
-
-# 4. Start coding with AI
 ```
 
-### 📁 Existing Project
-
-```bash
-cd your-project
-
-# Update managed files, preserve your customizations
-uvx invar-tools init --claude
-
-# Or without Claude Code integration
-uvx invar-tools init
-```
+**Safe and idempotent** — Run `invar init` anytime. It always **merges** with existing files, preserving your content.
 
-Invar's init is idempotent—safe to run multiple times. It detects existing configuration and updates only managed regions.
+> 💡 **After `claude /init`?** Just run `invar init` again to restore Invar configuration.
 
 ### 💬 Example Interaction
 
@@ -375,39 +365,57 @@ AlphaCodium · Parsel · Reflexion · Clover
 
 ---
 
-## 🖥️ Platform Experience
+## 🖥️ Agent Support
+
+| Agent | Status | Setup |
+|-------|--------|-------|
+| **Claude Code** | ✅ Full | `invar init` → select Claude Code |
+| **Pi / Cursor** | 🚧 In progress | `invar init` → select Other, include `AGENT.md` in prompt |
+| **Other** | 📝 Manual | `invar init` → select Other, include `AGENT.md` in prompt |
 
-| Feature | Claude Code | Other Editors |
-|---------|-------------|---------------|
-| CLI verification (`invar guard`) | ✅ | ✅ |
-| Protocol document (INVAR.md) | ✅ | ✅ |
-| MCP tool integration | ✅ Auto-configured | Manual setup possible |
-| Workflow skills | ✅ Auto-configured | Include in system prompt |
-| Pre-commit hooks | ✅ | ✅ |
-| Sub-agent review | ✅ | — |
+### Claude Code (Full Experience)
 
-**Claude Code** provides the full experience—MCP tools, skill routing, and hooks are auto-configured by `invar init --claude`.
+All features auto-configured:
+- MCP tools (`invar_guard`, `invar_sig`, `invar_map`)
+- Workflow skills (`/develop`, `/review`, `/investigate`, `/propose`)
+- Claude Code hooks (tool guidance, verification reminders)
+- Pre-commit hooks
 
-**Other editors** can achieve similar results by:
-1. Adding INVAR.md content to system prompts
-2. Manually configuring MCP servers (if supported)
-3. Using CLI commands for verification
+### Pi / Cursor (In Progress)
+
+Currently available:
+- Protocol document (INVAR.md)
+- CLI verification (`invar guard`)
+- Pre-commit hooks
+- MCP server (manual configuration)
+
+### Other Editors (Manual)
+
+1. Run `invar init` → select "Other (AGENT.md)"
+2. Include generated `AGENT.md` in your agent's prompt
+3. Configure MCP server if supported
+4. Use CLI commands (`invar guard`) for verification
 
 ---
 
 ## 📂 What Gets Installed
 
-`invar init --claude` creates:
+`invar init` creates (select in interactive mode):
+
+| File/Directory | Purpose | Category |
+|----------------|---------|----------|
+| `INVAR.md` | Protocol for AI agents | Required |
+| `.invar/` | Config, context, examples | Required |
+| `.pre-commit-config.yaml` | Verification before commit | Optional |
+| `src/core/`, `src/shell/` | Recommended structure | Optional |
+| `CLAUDE.md` | Agent instructions | Claude Code |
+| `.claude/skills/` | Workflow automation | Claude Code |
+| `.claude/commands/` | User commands (/audit, /guard) | Claude Code |
+| `.claude/hooks/` | Tool guidance | Claude Code |
+| `.mcp.json` | MCP server config | Claude Code |
+| `AGENT.md` | Universal agent instructions | Other agents |
 
-| File/Directory | Purpose | Editable? |
-|----------------|---------|-----------|
-| `INVAR.md` | Protocol for AI agents | No (managed) |
-| `CLAUDE.md` | Project configuration | Yes |
-| `.claude/skills/` | Workflow skills | Yes |
-| `.claude/hooks/` | Tool call interception | Yes |
-| `.invar/examples/` | Reference patterns | No (managed) |
-| `.invar/context.md` | Project state, lessons | Yes |
-| `pyproject.toml` | `[tool.invar]` section | Yes |
+**Note:** If `pyproject.toml` exists, Guard configuration goes there as `[tool.invar.guard]` instead of `.invar/config.toml`.
 
 **Recommended structure:**
 
@@ -473,7 +481,9 @@ rules = ["missing_contract", "shell_result"]
 | `invar guard` | Full verification (static + doctest + property + symbolic) |
 | `invar guard --changed` | Only git-modified files |
 | `invar guard --static` | Static analysis only (~0.5s) |
-| `invar init` | Initialize or update project |
+| `invar init` | Initialize or update project (interactive) |
+| `invar init --claude` | Quick setup for Claude Code |
+| `invar uninstall` | Remove Invar from project (preserves user content) |
 | `invar sig <file>` | Show signatures and contracts |
 | `invar map` | Symbol map with reference counts |
 | `invar rules` | List all rules |

{invar_tools-1.7.0 → invar_tools-1.7.1}/README.md

@@ -88,35 +88,24 @@ Guard passed.
 
 **Why uvx?** Always uses latest version, doesn't pollute project dependencies, auto-detects your project's venv.
 
-### 🆕 New Project
+### 🎯 Setup
 
 ```bash
-# 1. Enter your project directory
 cd your-project
 
-# 2. Initialize with Claude Code (full experience)
+# Interactive mode - choose what to install
+uvx invar-tools init
+
+# Or quick setup for Claude Code (skip prompts)
 uvx invar-tools init --claude
 
-# 3. Add runtime contracts to your project
+# Add runtime contracts to your project
 pip install invar-runtime
-# Or add to pyproject.toml: dependencies = ["invar-runtime"]
-
-# 4. Start coding with AI
 ```
 
-### 📁 Existing Project
-
-```bash
-cd your-project
-
-# Update managed files, preserve your customizations
-uvx invar-tools init --claude
-
-# Or without Claude Code integration
-uvx invar-tools init
-```
+**Safe and idempotent** — Run `invar init` anytime. It always **merges** with existing files, preserving your content.
 
-Invar's init is idempotent—safe to run multiple times. It detects existing configuration and updates only managed regions.
+> 💡 **After `claude /init`?** Just run `invar init` again to restore Invar configuration.
 
 ### 💬 Example Interaction
 
@@ -334,39 +323,57 @@ AlphaCodium · Parsel · Reflexion · Clover
 
 ---
 
-## 🖥️ Platform Experience
+## 🖥️ Agent Support
+
+| Agent | Status | Setup |
+|-------|--------|-------|
+| **Claude Code** | ✅ Full | `invar init` → select Claude Code |
+| **Pi / Cursor** | 🚧 In progress | `invar init` → select Other, include `AGENT.md` in prompt |
+| **Other** | 📝 Manual | `invar init` → select Other, include `AGENT.md` in prompt |
 
-| Feature | Claude Code | Other Editors |
-|---------|-------------|---------------|
-| CLI verification (`invar guard`) | ✅ | ✅ |
-| Protocol document (INVAR.md) | ✅ | ✅ |
-| MCP tool integration | ✅ Auto-configured | Manual setup possible |
-| Workflow skills | ✅ Auto-configured | Include in system prompt |
-| Pre-commit hooks | ✅ | ✅ |
-| Sub-agent review | ✅ | — |
+### Claude Code (Full Experience)
 
-**Claude Code** provides the full experience—MCP tools, skill routing, and hooks are auto-configured by `invar init --claude`.
+All features auto-configured:
+- MCP tools (`invar_guard`, `invar_sig`, `invar_map`)
+- Workflow skills (`/develop`, `/review`, `/investigate`, `/propose`)
+- Claude Code hooks (tool guidance, verification reminders)
+- Pre-commit hooks
 
-**Other editors** can achieve similar results by:
-1. Adding INVAR.md content to system prompts
-2. Manually configuring MCP servers (if supported)
-3. Using CLI commands for verification
+### Pi / Cursor (In Progress)
+
+Currently available:
+- Protocol document (INVAR.md)
+- CLI verification (`invar guard`)
+- Pre-commit hooks
+- MCP server (manual configuration)
+
+### Other Editors (Manual)
+
+1. Run `invar init` → select "Other (AGENT.md)"
+2. Include generated `AGENT.md` in your agent's prompt
+3. Configure MCP server if supported
+4. Use CLI commands (`invar guard`) for verification
 
 ---
 
 ## 📂 What Gets Installed
 
-`invar init --claude` creates:
+`invar init` creates (select in interactive mode):
+
+| File/Directory | Purpose | Category |
+|----------------|---------|----------|
+| `INVAR.md` | Protocol for AI agents | Required |
+| `.invar/` | Config, context, examples | Required |
+| `.pre-commit-config.yaml` | Verification before commit | Optional |
+| `src/core/`, `src/shell/` | Recommended structure | Optional |
+| `CLAUDE.md` | Agent instructions | Claude Code |
+| `.claude/skills/` | Workflow automation | Claude Code |
+| `.claude/commands/` | User commands (/audit, /guard) | Claude Code |
+| `.claude/hooks/` | Tool guidance | Claude Code |
+| `.mcp.json` | MCP server config | Claude Code |
+| `AGENT.md` | Universal agent instructions | Other agents |
 
-| File/Directory | Purpose | Editable? |
-|----------------|---------|-----------|
-| `INVAR.md` | Protocol for AI agents | No (managed) |
-| `CLAUDE.md` | Project configuration | Yes |
-| `.claude/skills/` | Workflow skills | Yes |
-| `.claude/hooks/` | Tool call interception | Yes |
-| `.invar/examples/` | Reference patterns | No (managed) |
-| `.invar/context.md` | Project state, lessons | Yes |
-| `pyproject.toml` | `[tool.invar]` section | Yes |
+**Note:** If `pyproject.toml` exists, Guard configuration goes there as `[tool.invar.guard]` instead of `.invar/config.toml`.
 
 **Recommended structure:**
 
@@ -432,7 +439,9 @@ rules = ["missing_contract", "shell_result"]
 | `invar guard` | Full verification (static + doctest + property + symbolic) |
 | `invar guard --changed` | Only git-modified files |
 | `invar guard --static` | Static analysis only (~0.5s) |
-| `invar init` | Initialize or update project |
+| `invar init` | Initialize or update project (interactive) |
+| `invar init --claude` | Quick setup for Claude Code |
+| `invar uninstall` | Remove Invar from project (preserves user content) |
 | `invar sig <file>` | Show signatures and contracts |
 | `invar map` | Symbol map with reference counts |
 | `invar rules` | List all rules |

{invar_tools-1.7.0 → invar_tools-1.7.1}/docs/agents.md

@@ -345,8 +345,7 @@ Invar provides MCP (Model Context Protocol) tools for deeper integration with Cl
 ### Setup
 
 ```bash
-uvx invar-tools init    # Auto-creates .mcp.json at project root
-# or: invar init (if installed globally)
+uvx invar-tools init    # Interactive mode, auto-creates .mcp.json
 ```
 
 ### Available Tools

{invar_tools-1.7.0 → invar_tools-1.7.1}/docs/design.md

@@ -768,10 +768,11 @@ Create src/core and src/shell? [Y/n]
 **CLI Options:**
 
 ```bash
-invar init              # Interactive, asks about directories
-invar init --dirs       # Always create src/core, src/shell
-invar init --no-dirs    # Never create directories
-invar init --config-only # Only add config, no INVAR.md/CLAUDE.md
+invar init              # Interactive mode with menus
+invar init --claude     # Auto-select Claude Code, skip prompts
+invar init --preview    # Show what would be done (dry run)
+invar uninstall         # Remove Invar from project (preserves user content)
+invar uninstall --dry-run  # Preview what would be removed
 ```
 
 ---

{invar_tools-1.7.0 → invar_tools-1.7.1}/docs/guides/multi-agent.md

@@ -2,15 +2,23 @@
 
 Invar's core value—USBV workflow, contract-driven development, and automated verification—works with any AI coding agent. This guide covers integration with popular alternatives to Claude Code.
 
+## Agent Support Status
+
+| Agent | Status | Setup |
+|-------|--------|-------|
+| **Claude Code** | ✅ Full | `invar init` → select Claude Code |
+| **Pi / Cursor** | 🚧 In progress | `invar init` → select Other, include `AGENT.md` in prompt |
+| **Other** | 📝 Manual | `invar init` → select Other, include `AGENT.md` in prompt |
+
 ## Quick Comparison
 
 | Agent | Instruction File | MCP Support | Hooks | Effort |
 |-------|------------------|-------------|-------|--------|
 | [Claude Code](../agents.md) | CLAUDE.md | ✅ Full | ✅ 4 types | Native |
-| [Cline](#cline) | .clinerules | ✅ Full | ❌ | Low |
-| [Cursor](#cursor) | .cursorrules | ✅ Full | ✅ Beta | Medium |
-| [Aider](#aider) | CONVENTIONS.md | ⚠️ CLI | ❌ | Low |
-| [Continue](#continue) | config.yaml | ✅ Full | ❌ | Low |
+| [Cline](#cline) | .clinerules | ✅ Full | ❌ | Manual |
+| [Cursor](#cursor) | .cursorrules | ✅ Full | ✅ Beta | Manual |
+| [Aider](#aider) | CONVENTIONS.md | ⚠️ CLI | ❌ | Manual |
+| [Continue](#continue) | config.yaml | ✅ Full | ❌ | Manual |
 
 ## What Works Everywhere
 
@@ -39,10 +47,8 @@ Invar's core value—USBV workflow, contract-driven development, and automated v
 → [Full Guide: Cline Integration](./cline.md)
 
 ```bash
-# Quick setup
-invar init --agent=cline  # Coming soon
-
-# Or manual setup - create .clinerules in project root
+# Setup
+invar init    # Select "Other (AGENT.md)", then copy to .clinerules
 ```
 
 **Key features:**
@@ -59,10 +65,8 @@ invar init --agent=cline  # Coming soon
 → [Full Guide: Cursor Integration](./cursor.md)
 
 ```bash
-# Quick setup
-invar init --agent=cursor  # Coming soon
-
-# Or manual setup - create .cursorrules in project root
+# Setup
+invar init    # Select "Other (AGENT.md)", then copy to .cursorrules
 ```
 
 **Key features:**
@@ -174,14 +178,14 @@ Or if installed in a virtual environment:
 
 ### From Claude Code to Others
 
-1. Copy CLAUDE.md content to target instruction file
-2. Configure MCP (if supported)
-3. Replace skill triggers with manual workflow
+1. Run `invar init` → select "Other (AGENT.md)"
+2. Copy AGENT.md content to target instruction file
+3. Configure MCP (if supported)
 
 ### From Others to Claude Code
 
-1. Run `invar init` to generate full setup
-2. Enjoy skills, hooks, and commands
+1. Run `invar init` → select Claude Code
+2. All features auto-configured (skills, hooks, MCP)
 
 ---
 

{invar_tools-1.7.0 → invar_tools-1.7.1}/docs/index.html

@@ -666,26 +666,25 @@
             <p class="subtitle">One command to set up your project</p>
 
             <div class="install-command">
-                <code>cd your-project && uvx invar-tools init --claude</code>
+                <code>cd your-project && uvx invar-tools init</code>
             </div>
 
             <p class="install-note">
-                Enter your project directory first. <code>uvx</code> runs tools in an isolated environment.
-                Add <code>pip install invar-runtime</code> for runtime contracts.
+                Interactive mode — select your agent. Add <code>pip install invar-runtime</code> for runtime contracts.
             </p>
 
             <div class="experience-tiers">
                 <div class="tier full">
-                    <h4>Claude Code</h4>
-                    <p>Full experience: Skills, MCP tools, sub-agent review</p>
+                    <h4>✅ Claude Code</h4>
+                    <p>Full support: Skills, MCP, hooks, sub-agent review</p>
                 </div>
                 <div class="tier">
-                    <h4>Cursor / Windsurf</h4>
-                    <p>Protocol document + CLI verification</p>
+                    <h4>🚧 Pi / Cursor</h4>
+                    <p>In progress: Select Other, include AGENT.md</p>
                 </div>
                 <div class="tier">
-                    <h4>Others</h4>
-                    <p>CLI commands work everywhere</p>
+                    <h4>📝 Other</h4>
+                    <p>Manual: Select Other, include AGENT.md in prompt</p>
                 </div>
             </div>
         </div>