Conversation
…codeql-action/init Co-authored-by: data-douser <70299490+data-douser@users.noreply.github.com>
This commit: - updates 'server/src/prompts/*.prompt.md` files to provide better guidance to LLMs in relation to iterative and/or LSP-based tools; - improves unit tests of MCP ^ "workflow prompts"; - adds an example workshop, focused on using LSP-based MCP server tools, under the existing create-codeql-query-development-workshop agent skill; - updates .github/ instructions and prompts with lessons learned from tool validation via example workshop development.
Dependency Review✅ No vulnerabilities or license issues or OpenSSF Scorecard issues found.OpenSSF ScorecardScorecard details
Scanned Files
|
There was a problem hiding this comment.
CodeQL found more than 20 potential problems in the proposed changes. Check the Files changed tab for more details.
...-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise3/test.js
Dismissed
Show dismissed
Hide dismissed
...-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise1/test.js
Dismissed
Show dismissed
Hide dismissed
...-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise2/test.js
Dismissed
Show dismissed
Hide dismissed
...-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise2/test.js
Dismissed
Show dismissed
Hide dismissed
...-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise2/test.js
Dismissed
Show dismissed
Hide dismissed
...-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise3/test.js
Dismissed
Show dismissed
Hide dismissed
...-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise3/test.js
Dismissed
Show dismissed
Hide dismissed
...-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise2/test.js
Fixed
Show fixed
Hide fixed
...-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise1/test.js
Dismissed
Show dismissed
Hide dismissed
...-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise2/test.js
Fixed
Show fixed
Hide fixed
There was a problem hiding this comment.
Pull request overview
Prepares the repository for the v2.24.1 release by bumping CLI/package/tool-pack versions, updating release automation, and strengthening prompt/workflow documentation and tests (including a new example workshop).
Changes:
- Bump versions to 2.24.1 across
.codeql-version,package.jsonfiles, server version constants, and QL tool packs (plus lockfiles). - Improve release workflow to support
workflow_dispatchtag-based releases and to use the repo’s local CodeQL environment setup action. - Expand workflow prompt tests and update prompt markdown guidance/content, plus add a new end-to-end workshop example under
.github/skills/....
Reviewed changes
Copilot reviewed 107 out of 115 changed files in this pull request and generated 82 comments.
Show a summary per file
| File | Description |
|---|---|
| server/test/src/prompts/workflow-prompts.test.ts | Adds extensive schema/handler validation coverage for workflow prompts. |
| server/src/prompts/workshop-creation-workflow.prompt.md | Enhances workshop prompt guidance (adds iterative LSP workflow/tool references). |
| server/src/prompts/tools-query-workflow.prompt.md | Adds explicit post-AST-analysis guidance for LSP tools (0-based positions, workspace root). |
| server/src/prompts/sarif-rank-true-positives.prompt.md | Updates frontmatter format (agent: agent). |
| server/src/prompts/sarif-rank-false-positives.prompt.md | Updates frontmatter format (agent: agent). |
| server/src/prompts/ql-tdd-basic.prompt.md | Improves LSP tool parameter guidance and common pitfalls. |
| server/src/prompts/ql-tdd-advanced.prompt.md | Clarifies finder vs LSP position bases and workspace path expectations. |
| server/src/prompts/ql-lsp-iterative-development.prompt.md | Expands iterative LSP workflow prompt with concrete tool-call patterns and examples. |
| server/src/prompts/explain-codeql-query.prompt.md | Updates frontmatter and clarifies quick-evaluate flow using position finders. |
| server/src/prompts/document-codeql-query.prompt.md | Updates frontmatter and adds LSP-based type exploration step. |
| server/src/codeql-development-mcp-server.ts | Bumps server VERSION constant to 2.24.1. |
| server/ql/swift/tools/test/codeql-pack.yml | Bumps tool-pack test version to 2.24.1. |
| server/ql/swift/tools/test/codeql-pack.lock.yml | Updates pinned CodeQL pack dependency versions. |
| server/ql/swift/tools/src/codeql-pack.yml | Bumps tool-pack src version and codeql/swift-all dependency. |
| server/ql/swift/tools/src/codeql-pack.lock.yml | Updates pinned CodeQL pack dependency versions. |
| server/ql/ruby/tools/test/codeql-pack.yml | Bumps tool-pack test version to 2.24.1. |
| server/ql/ruby/tools/test/codeql-pack.lock.yml | Updates pinned CodeQL pack dependency versions. |
| server/ql/ruby/tools/src/codeql-pack.yml | Bumps tool-pack src version and codeql/ruby-all dependency. |
| server/ql/ruby/tools/src/codeql-pack.lock.yml | Updates pinned CodeQL pack dependency versions. |
| server/ql/python/tools/test/codeql-pack.yml | Bumps tool-pack test version to 2.24.1. |
| server/ql/python/tools/test/codeql-pack.lock.yml | Updates pinned CodeQL pack dependency versions. |
| server/ql/python/tools/src/codeql-pack.yml | Bumps tool-pack src version and codeql/python-all dependency. |
| server/ql/python/tools/src/codeql-pack.lock.yml | Updates pinned CodeQL pack dependency versions. |
| server/ql/javascript/tools/test/codeql-pack.yml | Bumps tool-pack test version to 2.24.1. |
| server/ql/javascript/tools/test/codeql-pack.lock.yml | Updates pinned CodeQL pack dependency versions. |
| server/ql/javascript/tools/src/codeql-pack.yml | Bumps tool-pack src version and codeql/javascript-all dependency. |
| server/ql/javascript/tools/src/codeql-pack.lock.yml | Updates pinned CodeQL pack dependency versions. |
| server/ql/java/tools/test/codeql-pack.yml | Bumps tool-pack test version to 2.24.1. |
| server/ql/java/tools/test/codeql-pack.lock.yml | Updates pinned CodeQL pack dependency versions. |
| server/ql/java/tools/src/codeql-pack.yml | Bumps tool-pack src version and codeql/java-all dependency. |
| server/ql/java/tools/src/codeql-pack.lock.yml | Updates pinned CodeQL pack dependency versions. |
| server/ql/go/tools/test/codeql-pack.yml | Bumps tool-pack test version to 2.24.1. |
| server/ql/go/tools/test/codeql-pack.lock.yml | Updates pinned CodeQL pack dependency versions. |
| server/ql/go/tools/src/codeql-pack.yml | Bumps tool-pack src version and codeql/go-all dependency. |
| server/ql/go/tools/src/codeql-pack.lock.yml | Updates pinned CodeQL pack dependency versions. |
| server/ql/csharp/tools/test/codeql-pack.yml | Bumps tool-pack test version to 2.24.1. |
| server/ql/csharp/tools/test/codeql-pack.lock.yml | Updates pinned CodeQL pack dependency versions. |
| server/ql/csharp/tools/src/codeql-pack.yml | Bumps tool-pack src version and codeql/csharp-all dependency. |
| server/ql/csharp/tools/src/codeql-pack.lock.yml | Updates pinned CodeQL pack dependency versions. |
| server/ql/cpp/tools/test/codeql-pack.yml | Bumps tool-pack test version to 2.24.1. |
| server/ql/cpp/tools/test/codeql-pack.lock.yml | Updates pinned CodeQL pack dependency versions. |
| server/ql/cpp/tools/src/codeql-pack.yml | Bumps tool-pack src version and codeql/cpp-all dependency. |
| server/ql/cpp/tools/src/codeql-pack.lock.yml | Updates pinned CodeQL pack dependency versions. |
| server/ql/actions/tools/test/codeql-pack.yml | Bumps tool-pack test version to 2.24.1. |
| server/ql/actions/tools/test/codeql-pack.lock.yml | Updates pinned CodeQL pack dependency versions. |
| server/ql/actions/tools/src/codeql-pack.yml | Bumps tool-pack src version and codeql/actions-all dependency. |
| server/ql/actions/tools/src/codeql-pack.lock.yml | Updates pinned CodeQL pack dependency versions. |
| server/package.json | Bumps server package version to 2.24.1. |
| server/dist/codeql-development-mcp-server.js | Updates bundled output to reflect version bump. |
| package.json | Bumps repo version and updates upgrade:node script flags and typescript-eslint version. |
| package-lock.json | Updates lockfile for version bumps and dependency upgrades (incl. eslint/typescript-eslint). |
| docs/public.md | Updates public docs examples to 2.24.1 and updated JS pack dependency version. |
| client/src/lib/commands/metadata-commands.js | Preserves underlying write errors by adding { cause } to thrown errors. |
| client/src/lib/commands/basic-commands.js | Preserves underlying write errors by adding { cause } to thrown errors. |
| client/package.json | Bumps client package version and eslint dev deps. |
| client/integration-tests/primitives/tools/codeql_bqrs_interpret/sarif_format/after/results.sarif | Updates SARIF expected output to CodeQL 2.24.1 semanticVersion. |
| .prettierignore | Ignores .tmp/, query-results, and workshops output paths. |
| .github/workflows/release.yml | Improves tag handling for workflow_dispatch releases and switches to local CodeQL environment setup action. |
| .github/skills/upgrade-codeql-cli-and-packs/SKILL.md | Updates skill docs/examples to reference v2.24.1. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/tests-common/test.js | Adds shared workshop test fixture JS source. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/tests-common/codeql-pack.yml | Adds CodeQL pack metadata for shared workshop tests. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/solutions/codeql-pack.yml | Adds solutions pack metadata and JS library dependency. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/solutions/codeql-pack.lock.yml | Adds pinned dependencies for solutions pack. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/solutions/Exercise1.ql | Adds reference solution query for Exercise 1. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/solutions/Exercise2.ql | Adds reference solution query for Exercise 2. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/solutions/Exercise3.ql | Adds reference solution query for Exercise 3. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/solutions/Exercise4.ql | Adds reference solution query for Exercise 4. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/solutions/Exercise5.ql | Adds reference solution query for Exercise 5 (path-problem). |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/solutions-tests/codeql-pack.yml | Adds pack metadata for solution tests. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/solutions-tests/codeql-pack.lock.yml | Adds pinned dependencies for solution tests pack. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/solutions-tests/Exercise1/test.js | Adds solution test source fixture for Exercise 1. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/solutions-tests/Exercise1/Exercise1.qlref | Adds qlref for solution test. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/solutions-tests/Exercise1/Exercise1.expected | Adds expected output baseline for solution test. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/solutions-tests/Exercise2/test.js | Adds solution test source fixture for Exercise 2. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/solutions-tests/Exercise2/Exercise2.qlref | Adds qlref for solution test. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/solutions-tests/Exercise2/Exercise2.expected | Adds expected output baseline for solution test. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/solutions-tests/Exercise3/test.js | Adds solution test source fixture for Exercise 3. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/solutions-tests/Exercise3/Exercise3.qlref | Adds qlref for solution test. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/solutions-tests/Exercise3/Exercise3.expected | Adds expected output baseline for solution test. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/solutions-tests/Exercise4/test.js | Adds solution test source fixture for Exercise 4. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/solutions-tests/Exercise4/Exercise4.qlref | Adds qlref for solution test. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/solutions-tests/Exercise4/Exercise4.expected | Adds expected output baseline for solution test. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/solutions-tests/Exercise5/test.js | Adds solution test source fixture for Exercise 5. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/solutions-tests/Exercise5/Exercise5.qlref | Adds qlref for solution test. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/solutions-tests/Exercise5/Exercise5.expected | Adds expected output baseline for solution test. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises/codeql-pack.yml | Adds exercises pack metadata and JS library dependency. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises/Exercise1.ql | Adds stub exercise query for trainees. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises/Exercise2.ql | Adds stub exercise query for trainees. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises/Exercise3.ql | Adds stub exercise query for trainees. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises/Exercise4.ql | Adds stub exercise query for trainees. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises/Exercise5.ql | Adds stub exercise query for trainees. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/codeql-pack.yml | Adds pack metadata for exercise tests. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise1/test.js | Adds exercise test fixture for Exercise 1. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise1/Exercise1.qlref | Adds qlref for exercise test. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise1/Exercise1.expected | Adds (currently empty) expected baseline placeholder for exercise test. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise2/test.js | Adds exercise test fixture for Exercise 2. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise2/Exercise2.qlref | Adds qlref for exercise test. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise2/Exercise2.expected | Adds (currently empty) expected baseline placeholder for exercise test. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise3/test.js | Adds exercise test fixture for Exercise 3. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise3/Exercise3.qlref | Adds qlref for exercise test. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise3/Exercise3.expected | Adds (currently empty) expected baseline placeholder for exercise test. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise4/test.js | Adds exercise test fixture for Exercise 4. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise4/Exercise4.qlref | Adds qlref for exercise test. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise4/Exercise4.expected | Adds (currently empty) expected baseline placeholder for exercise test. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise5/test.js | Adds exercise test fixture for Exercise 5. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise5/Exercise5.qlref | Adds qlref for exercise test. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise5/Exercise5.expected | Adds (currently empty) expected baseline placeholder for exercise test. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/codeql-workspace.yml | Adds a workspace file to surface packs for CodeQL tooling. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/build-databases.sh | Adds helper script to build .testproj databases for the workshop. |
| .github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/README.md | Adds full workshop documentation and guidance for running/learning exercises. |
| .github/prompts/validate-ql-mcp-server-tools-via-workshop.prompt.md | Updates prompt metadata (model string). |
| .github/instructions/server_src_prompts_md.instructions.md | Adds repo guidance for server/src/prompts/*.prompt.md authoring conventions. |
| .github/instructions/github_prompts.instructions.md | Narrows scope and updates frontmatter expectations for .github/prompts/*.prompt.md. |
| .codeql-version | Bumps CodeQL CLI version to v2.24.1. |
Comments suppressed due to low confidence (2)
server/test/src/prompts/workflow-prompts.test.ts:877
- This blank line contains trailing whitespace. Please remove the extra spaces to keep the file clean and avoid whitespace-related lint/format failures.
.github/workflows/release.yml:35 fetch-tags: truealone may still leave the checkout shallow (defaultfetch-depth: 1), which can preventgit checkout refs/tags/<tag>from working for tags not pointing at the initially fetched commit. Consider settingfetch-depth: 0(or otherwise ensuring the tag’s commit object is fetched) to make workflow_dispatch tag checkouts reliable.
...eate-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises/Exercise1.ql
Show resolved
Hide resolved
...-query-development-workshop/examples/codeql-sap-js-ui5-xss/solutions-tests/Exercise1/test.js
Show resolved
Hide resolved
...-query-development-workshop/examples/codeql-sap-js-ui5-xss/solutions-tests/Exercise2/test.js
Show resolved
Hide resolved
...-query-development-workshop/examples/codeql-sap-js-ui5-xss/solutions-tests/Exercise4/test.js
Show resolved
Hide resolved
...-query-development-workshop/examples/codeql-sap-js-ui5-xss/solutions-tests/Exercise5/test.js
Show resolved
Hide resolved
...create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/tests-common/test.js
Show resolved
Hide resolved
...-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise1/test.js
Dismissed
Show dismissed
Hide dismissed
...-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise3/test.js
Fixed
Show fixed
Hide fixed
|
@copilot create a new pull request to make further improvements to the |
|
@data-douser I've opened a new pull request, #39, to work on those changes. Once the pull request is ready, I'll request review from you. |
|
LGTM |
|
Code scanning failures are from |
…e for `codeql-development-mcp-server` (#40) * Initial plan * Enable auto-creation of tags in release workflow for workflow_dispatch Co-authored-by: data-douser <70299490+data-douser@users.noreply.github.com> * More fixes for release workflow --------- Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
...-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise1/test.js
Fixed
Show fixed
Hide fixed
...-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise2/test.js
Show resolved
Hide resolved
...-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise3/test.js
Show resolved
Hide resolved
...-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise1/test.js
Show resolved
Hide resolved
...-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise4/test.js
Show resolved
Hide resolved
...-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise5/test.js
Show resolved
Hide resolved
…oaded release artifacts (#41) * Initial plan * Enable auto-creation of tags in release workflow for workflow_dispatch Co-authored-by: data-douser <70299490+data-douser@users.noreply.github.com> * More fixes for release workflow * Add CodeQL query packs as uploaded release artifacts --------- Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
...-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise4/test.js
Dismissed
Show dismissed
Hide dismissed
...hub/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xss/README.md
Show resolved
Hide resolved
...-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise3/test.js
Show resolved
Hide resolved
...-query-development-workshop/examples/codeql-sap-js-ui5-xss/exercises-tests/Exercise2/test.js
Show resolved
Hide resolved
|
@copilot open a new pull request to apply changes for unresolved comments in this thread |
|
@data-douser I've opened a new pull request, #43, to work on those changes. Once the pull request is ready, I'll request review from you. |
Summary of Changes
This PR:
codeqlCLI dependency tov2.24.1and updates this repo's releaseversionto match;codeql_lsp_*tools;The most important changes are grouped below by theme.
Outline of Changes
Workshop creation and structure
.github/skills/create-codeql-query-development-workshop/examples/codeql-sap-js-ui5-xssfor teaching XSS detection using taint-tracking, including a detailedREADME.mdcovering exercises, test structure, learning path, and relation to the production query.exercises-tests/Exercise1/test.js,exercises-tests/Exercise2/test.js) and.qlreffiles to support stepwise learning and validation. [1] [2] [3] [4]build-databases.sh) for automated test database creation for both exercises and solutions.codeql-workspace.yml) for pack provisioning.Prompt instructions and documentation updates
.github/instructions/prompts.instructions.mdto.github/instructions/github_prompts.instructions.md, clarifying YAML front-matter requirements and narrowing scope to.github/prompts/*.prompt.mdfiles. [1] [2].github/instructions/server_src_prompts_md.instructions.mdwith explicit requirements, preferences, and constraints for workflow prompts inserver/src/prompts/.validate-ql-mcp-server-tools-via-workshop.prompt.mdprompt toClaude Opus 4.6 (copilot).Tooling and version updates
.codeql-versionfromv2.24.0tov2.24.1for improved compatibility and features.