{
  "id": "shell",
  "name": "Shell",
  "description": "Workspace file access, command execution, and durable process management tools.",
  "entry": "./plugin.js"
}