Import local SCIP index
import_scip_indexLoad a local SCIP index or JSON export into the project catalog for semantic navigation, using the installed CLI if needed, without executing remote scripts.
Instructions
Import a local SCIP JSON export, or ask an installed local scip CLI to print a binary SCIP index as JSON, into the project-isolated catalog used by semantic navigation. No remote service or project script is executed.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| format | No | Read JSON directly or ask the local scip CLI to print JSON | auto |
| directory | No | Project directory | . |
| index_file | No | Existing project-relative SCIP file or JSON export | index.scip |
| timeout_ms | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| data | No | ||
| meta | Yes | ||
| error | No | ||
| message | No | ||
| success | Yes | ||
| schema_version | Yes |