`TMCP025` list_all_tags returns empty list when no tags¶

Call list_all_tags when no requirements have tags and verify an empty list is returned

Initial state¶

An initialized MCP server with only the simple requirements, tests and comments loaded.

Procedure¶

Step 1¶

The client calls list_all_tags on a specification where no requirement has tags

{
  "id": 2,
  "jsonrpc": "2.0",
  "method": "tools/call",
  "params": {
    "name": "list_all_tags",
    "arguments": {}
  }
}

Step 2¶

Verify an empty list is returned

{
  "id": 2,
  "jsonrpc": "2.0",
  "result": {
    "structuredContent": {
      "tags": []
    }
  }
}