dart-remove-roots
To remove previously registered Dart project roots, revoke tool access by removing those roots.
Installation
Suivez les instructions du dépôt pour votre agent. Consultez les fichiers et dépendances avant l’installation.
Voir la source ↗GuidesInstructions
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>"}}
Exemples
Consultez les exemples du dépôt source.
Voir la source ↗Historique source
- Date d’indexation
- 2026-01-20
- Mise à jour de l’index
- 2026-01-26
- Branch
- main
Les dates concernent ce répertoire. Consultez le dépôt pour l’historique du code.
GitHub ↗chat Comments (0)
Sign in to join the discussion and leave a comment.
No comments yet. Be the first to share your thoughts!