ide-type-mismatch-fix

IDE Type Mismatch Fixer

Prerequisites

1. Check if getToolCapabilities is available.
   • Not available: tell the user this skill requires the Claude IDE Bridge with a connected VS Code extension, then stop.
   • Available: call it. If extensionConnected is false: show the same message and stop. If true: proceed.

Goal

Systematically diagnose and fix type errors using LSP intelligence, without guessing or making assumptions about types.

Workflow

Phase 1: Collect type errors

1. Note the argument: $ARGUMENTS

   • If a specific file path: call getDiagnostics with that uri
   • If empty: call getDiagnostics with no uri (workspace-wide)

2. Filter diagnostics to severity error only. If zero errors: report "No type errors found" and stop.

3. Group errors by file. Process at most 10 files; note if more exist.

Phase 2: Diagnose each error

For each error (up to 20 total across all files):

1. Call getHover at the error position (file, line, column) to fetch:

   • The symbol's actual type
   • The type context (what was expected)

2. Call getCodeActions at the error range to get quickfix suggestions from the language server

3. If the error involves a function call or method: call signatureHelp at the call site to see the expected parameter types

4. Build a diagnosis entry:

   Error: [error message]
   File: [file]:[line]:[column]
   Symbol: [symbol from hover]
   Actual type: [type from hover]
   Expected type: [inferred from error message + context]
   Quickfixes available: [list from getCodeActions]
   Recommended fix: [your recommendation]
   

Phase 3: Apply fixes (if authorized)

1. For each error where a quickfix is available AND the fix is low-risk (adds a type annotation, removes any, fixes an import):

   • Call previewCodeAction to show the exact diff
   • If the diff looks correct: call applyCodeAction to apply it

2. After applying fixes: call getDiagnostics again to verify error count dropped