Bug Report
Summary
list_codeql_databases only searches its own extension storage directory but does not discover databases already downloaded by the GitHub.vscode-codeql extension.
Steps to Reproduce
- Use the
GitHub.vscode-codeql extension to download a database (e.g., checkstyle/checkstyle for javascript).
- The database is stored under VS Code workspace storage:
~/Library/Application Support/Code/User/workspaceStorage/<workspace-id>/GitHub.vscode-codeql/<nwo>/codeql_db/
- Call
list_codeql_databases — returns no databases.
- The database must be manually registered via
register_database before it can be used.
Expected Behavior
list_codeql_databases should auto-discover databases downloaded by the GitHub.vscode-codeql extension.
Actual Behavior
Only the MCP server's own storage path is searched:
~/Library/Application Support/Code/User/globalStorage/advanced-security.vscode-codeql-development-mcp-server/databases
Suggested Fix
- Scan
workspaceStorage/*/GitHub.vscode-codeql/ paths for codeql-database.yml files.
- Optionally read the
GitHub.vscode-codeql extension's config from globalStorage/github.vscode-codeql/databases.json.
- Add these paths to the default database search directories.
Bug Report
Summary
list_codeql_databasesonly searches its own extension storage directory but does not discover databases already downloaded by theGitHub.vscode-codeqlextension.Steps to Reproduce
GitHub.vscode-codeqlextension to download a database (e.g.,checkstyle/checkstyleforjavascript).list_codeql_databases— returns no databases.register_databasebefore it can be used.Expected Behavior
list_codeql_databasesshould auto-discover databases downloaded by theGitHub.vscode-codeqlextension.Actual Behavior
Only the MCP server's own storage path is searched:
Suggested Fix
workspaceStorage/*/GitHub.vscode-codeql/paths forcodeql-database.ymlfiles.GitHub.vscode-codeqlextension's config fromglobalStorage/github.vscode-codeql/databases.json.