github copilot chat as default provider

[pelikhan]

---

Pull Request Summary

• 🧠 GitHub Copilot Chat Model Provider Preference:
  Introduces new VS Code settings (genaiscript.languageChatModelsProvider and genaiscript.languageChatModels.preferred) to allow users to set GitHub Copilot Chat (or other VS Code-provided models) as the preferred LLM provider when a model is not specified.

• ⚙️ VS Code Extension Enhancements:
  Updates the extension logic to respect the new provider preference setting, defaulting to GitHub Copilot Chat for model aliases when enabled.

• 📚 Documentation Updates:

  • Improves configuration documentation to reflect the new settings and clarify how to enforce or default to GitHub Copilot Chat as the LLM provider.
  • Clarifies and corrects the description of the system.z3 script to focus on Z3 constraint solving rather than zero-shot chain-of-thought.

• 🧹 YAML & Frontmatter Formatting:
  Cleans up and corrects YAML and frontmatter indentation in documentation for better readability and consistency.

• 🗑️ Code Cleanup:
  Removes unused imports and minor code refactoring for maintainability.

AI-generated content by prd may be incorrect. Use reactions to eval.

[pelikhan]

Frontmatter property 'description' is over-indented. This may cause parsing errors in some static site generators. See best practices for YAML frontmatter indentation: https://yaml.org/spec/1.2.2/#113-indentation-spaces

AI-generated content by prr frontmatter_indent_error may be incorrect. Use reactions to eval.

[pelikhan]

Frontmatter property 'keywords' is over-indented. This may cause parsing errors in some static site generators. See best practices for YAML frontmatter indentation: https://yaml.org/spec/1.2.2/#113-indentation-spaces

AI-generated content by prr frontmatter_indent_error may be incorrect. Use reactions to eval.

[pelikhan]

Frontmatter property 'order' is over-indented. This may cause parsing errors in some static site generators. See best practices for YAML frontmatter indentation: https://yaml.org/spec/1.2.2/#113-indentation-spaces

AI-generated content by prr frontmatter_indent_error may be incorrect. Use reactions to eval.

[pelikhan]

Frontmatter property 'image' and its sub-properties are over-indented. This may cause parsing errors in some static site generators. See best practices for YAML frontmatter indentation: https://yaml.org/spec/1.2.2/#113-indentation-spaces

AI-generated content by prr frontmatter_indent_error may be incorrect. Use reactions to eval.

[Copilot]

Pull Request Overview

This PR introduces a new preference setting to prioritize GitHub Copilot Chat as the default LLM provider in VS Code, along with several cleanups and documentation improvements.

• Adds new VS Code settings to select GitHub Copilot Chat as the default provider.
• Updates extension logic to conditionally inject the provider in server calls.
• Removes unused imports and cleans up YAML/frontmatter formatting in documentation.

Reviewed Changes

Copilot reviewed 4 out of 10 changed files in this pull request and generated no comments.

File	Description
packages/vscode/src/state.ts	Introduces the provider selection based on the config setting.
packages/core/src/modelalias.ts	Removes unused imports for a cleaner codebase.
packages/core/src/chat.ts	Removes an unused import as part of cleanup.
packages/cli/src/nodehost.ts	Removes an unused import as part of cleanup.

Files not reviewed (6)

• .vscode/launch.json: Language not supported
• .vscode/settings.json: Language not supported
• demo/.vscode/settings.json: Language not supported
• docs/src/content/docs/getting-started/configuration.mdx: Language not supported
• docs/src/content/docs/reference/scripts/system.mdx: Language not supported
• packages/vscode/package.json: Language not supported

Comments suppressed due to low confidence (1)

packages/vscode/src/state.ts:264

• Verify that config.get("languageChatModelsProvider") reliably returns a boolean value. If it might return unexpected types, consider explicitly checking for the expected condition to avoid unintended behavior.

const provider = config.get("languageChatModelsProvider") ? MODEL_PROVIDER_GITHUB_COPILOT_CHAT : undefined

[Copilot]

Pull Request Overview

This PR introduces new settings to allow users to default to GitHub Copilot Chat as the LLM provider, updates the VS Code extension logic accordingly, and cleans up unused imports and minor formatting issues.

• Adds a new provider flag in the VS Code extension state to select GitHub Copilot Chat.
• Removes unused import references in core and CLI files for maintainability.
• Updates YAML workflow and documentation for improved clarity and consistency.

Reviewed Changes

Copilot reviewed 5 out of 11 changed files in this pull request and generated no comments.

Show a summary per file

File	Description
packages/vscode/src/state.ts	Adds new logic to select GitHub Copilot Chat as the provider.
packages/core/src/modelalias.ts	Cleans up unused import statements.
packages/core/src/chat.ts	Removes unused MODEL_PROVIDERS import.
packages/cli/src/nodehost.ts	Removes unused MODEL_PROVIDERS import.
.github/workflows/genai-linters.yml	Removes an unnecessary conditional from the linting job.

Files not reviewed (6)

• .vscode/launch.json: Language not supported
• .vscode/settings.json: Language not supported
• demo/.vscode/settings.json: Language not supported
• docs/src/content/docs/getting-started/configuration.mdx: Language not supported
• docs/src/content/docs/reference/scripts/system.mdx: Language not supported
• packages/vscode/package.json: Language not supported

[github-actions]

File Annotations

Warning

Removed a descriptive block about integration and its visual representation. Verify if this impacts content clarity or user understanding. (docs/src/content/docs/getting-started/configuration.mdx#L1 comments)

Caution

Removed imports for MODEL_PROVIDERS and logVerbose but didn't clarify their replacements or redundancy. (packages/core/src/modelalias.ts#L1 missing_import_removal_explanation)

Warning

The // todo: send js source comment was removed. Verify if this functionality is completed elsewhere. (packages/vscode/src/state.ts#L1 comments)

Linter Feedback

variable-names

These changes are heavily removals, but no tests were added or affected. Consider validating that nothing crucial was deleted by mistake.

stats

Here are some basic stats about the changes:

Metric	Value
Files Modified	8
Insertions	1
Deletions	58

grumpy-dev

Oh, wonderful. Wholesale deletions without any clear documentation for why. It's the AI generation equivalent of a toddler clearing a table—chaos with no rationale. I can only hope someone, somewhere, knows if these deletions were justified. Dropping imports and todos willy-nilly—were they actually dead code or just inconvenient to explain? Back in my day, we wouldn't dare commit without evidence and triple-checking.

diagrams

graph TD
  subgraph Documentation
    A[getting-started/configuration.mdx]
    B[reference/scripts/system.mdx]
  end
  subgraph CLI
    C[nodehost.ts]
  end
  subgraph Core
    D[chat.ts]
    E[modelalias.ts]
  end
  subgraph VSCode
    F[package.json]
    G[state.ts]
  end
  C --> D
  D --> E

Loading

Recommendations

1. Review deletions in modelalias.ts and clarify reasoning.
2. Audit removed todos to check for unintended regression risks.
3. Ensure documentation changes do not compromise user comprehension.

AI-generated content by linters may be incorrect. Use reactions to eval.