crystal_extension_list
Discovers and lists extensions across host, cave, and crystal scopes, enabling inspection of embedded modules and drop-ins with optional scope filtering and JSON output.
Instructions
Discover and list extensions across the 3-tier scoping cascade (host, cave, crystal) including embedded Scala Native modules and declarative/executable drop-ins.
Tool call template
This tool declares no required parameters. Add optional parameters from the input schema as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {},
"name": "crystal_extension_list"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| scope | No | Filter by scope: host, cave, or crystal | |
| crystal_id | No | Optional crystal ID to inspect crystal-scoped extensions and state | |
| json_output | No | Return raw JSON manifest array instead of formatted summary (default: false) |