返回 Skill 列表
extension
分类: 开发与工程无需 API Key

dart-remove-roots

要移除先前已注册的Dart项目根目录,请通过删除这些根目录来撤销工具访问权限。

person作者: jakexiaohubgithub

Usage

Use the MCP tool dev-swarm.request to send the payload as a JSON string:

{"server_id":"dart","tool_name":"remove_roots","arguments":{}}

Tool Description

Removes one or more project roots previously added via the add_roots tool.

Arguments Schema

The schema below describes the arguments object in the request payload.

{
  "type": "object",
  "properties": {
    "uris": {
      "type": "array",
      "description": "All the project roots to remove from this server.",
      "items": {
        "type": "string",
        "description": "The URIs of the roots to remove."
      }
    }
  }
}

Background Tasks

If the tool returns a task id, poll the task status via the MCP request tool:

{"server_id":"dart","method":"tasks/status","params":{"task_id":"<task_id>"}}