Skip to content

feat: add GitHub Copilot and Windows support#27

Open
russosalv wants to merge 7 commits intom0n0x41d:mainfrom
russosalv:feat/copilot-windows-support
Open

feat: add GitHub Copilot and Windows support#27
russosalv wants to merge 7 commits intom0n0x41d:mainfrom
russosalv:feat/copilot-windows-support

Conversation

@russosalv
Copy link

Summary

  • GitHub Copilot support: new --copilot flag for quint-code init that generates .vscode/mcp.json (VS Code MCP format) and .github/prompts/*.prompt.md (Copilot prompt files with proper frontmatter)
  • Windows support: new install.ps1 PowerShell installer, windows-amd64 added to release pipeline, path display fix for Windows in commands.go
  • install.ps1 hardening: proper arch detection via %PROCESSOR_ARCHITECTURE%, dependency checks for Git and Go with install instructions, correct PowerShell stderr redirection

Changes

File What
src/mcp/cmd/init.go --copilot flag, configureMCPCopilot() with VS Code servers schema
src/mcp/cmd/commands.go copilot platform in installCommands(), transformCopilot() for .prompt.md format, path display fix
.github/workflows/release.yml windows-amd64 matrix entry, conditional Unix/Windows build and package steps
install.ps1 New PowerShell installer for Windows
README.md Windows install instructions, --copilot in flags table

Test plan

  • go build compiles successfully
  • quint-code init --copilot generates correct .vscode/mcp.json and .github/prompts/*.prompt.md
  • install.ps1 tested on Windows (arch detection, Git/Go checks, build from source)
  • Release pipeline Windows build (needs tag push to verify)

🤖 Generated with Claude Code

russosalv and others added 7 commits February 21, 2026 19:48
MCP config writes to .vscode/mcp.json with VS Code's "servers" schema,
slash commands become .github/prompts/*.prompt.md with Copilot frontmatter.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
- Add install.ps1 PowerShell script for Windows installation
- Add windows-amd64 build to release pipeline
- Fix home path display on Windows in commands.go
- Update README with Windows install instructions
- Point install URLs to russosalv/quint-code-vscode

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
…ection

RuntimeInformation.OSArchitecture returns an enum that doesn't match
string comparison in PowerShell switch. PROCESSOR_ARCHITECTURE is a
native Windows env var that reliably returns "AMD64" or "ARM64".

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Show download URL and winget command instead of a bare error.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
2>$null can fail with native commands in PowerShell. Use 2>&1 | Out-Null.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant