## 1. Add type-inject MCP server to config

- [ ] 1.1 Add MCP server entry: `npx -y @nick-vi/type-inject-mcp`
- [ ] 1.2 Verify lookup_type and list_types tools appear in tool list
- [ ] 1.3 Test lookup_type returns type signatures

## 2. Add auto-type-injection on file Read

- [ ] 2.1 Register PostToolUse hook for Read tool
- [ ] 2.2 Pipe file content through type-inject for type annotation
- [ ] 2.3 Configure token budget: maxTokens: 2000, skipBarrelFiles: true
- [ ] 2.4 Test type injection on .ts/.tsx file read

## 3. Add type-check feedback on Write/Edit

- [ ] 3.1 Register PostToolUse hook for Write and Edit tools
- [ ] 3.2 Capture type-checker output on written files
- [ ] 3.3 Surface type errors to agent as tool result messages

## 4. Configure type-inject settings

- [ ] 4.1 Add type-inject settings to BooCode config (maxTokens, onlyUsed, includeJSDoc)
- [ ] 4.2 Add per-project override support

## 5. Test and verify

- [ ] 5.1 Verify types are injected on Read for a .ts file with complex types
- [ ] 5.2 Verify type errors are reported on Write with intentional type mistake
- [ ] 5.3 Verify lookup_type returns correct type information
- [ ] 5.4 Verify token budget enforcement works (large file doesn't overflow)
