Skip to content

Make brave.md workflow strict and fix network proxy generation for MCP servers#1309

Merged
pelikhan merged 3 commits intomainfrom
copilot/make-brave-md-workflow-strict
Oct 7, 2025
Merged

Make brave.md workflow strict and fix network proxy generation for MCP servers#1309
pelikhan merged 3 commits intomainfrom
copilot/make-brave-md-workflow-strict

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Oct 7, 2025

Task: Make brave.md workflow strict and fix issues

Completed

  • Add strict: true to brave.md frontmatter
  • Add network configuration to brave-search MCP server (required for strict mode with containers)
  • Fix compiler bug: hasNetworkPermissions now checks network at tool level
  • Fix compiler bug: needsProxy checks container before transformation
  • Fix compiler bug: generateInlineProxyConfig gets container info before transformation
  • Remove legacy format support from hasNetworkPermissions per code review
  • Test compilation with --strict flag
  • Run unit tests to ensure no regressions
  • Verify proxy configuration is generated in lock file

Changes Made

  1. brave.md: Added strict: true and network configuration with allowed domains
  2. mcp-config.go:
    • Updated hasNetworkPermissions to check network field at tool level only
    • Removed legacy support for network under mcp section per code review
  3. network_proxy.go:
    • Fixed needsProxy to check for container in original toolConfig
    • Fixed generateInlineProxyConfig to extract container info before getMCPConfig transforms it

The workflow now compiles successfully in strict mode and generates proper network proxy configuration with Squid for the brave-search MCP server.

Original prompt

Make the "brave.md" workflow "strict" and fix issues in the workflow and compiler as you find them.


✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.

- Added `strict: true` to brave.md frontmatter
- Added network configuration for brave-search MCP server
- Fixed hasNetworkPermissions to check network at tool level (not under mcp)
- Fixed needsProxy to check for container in toolConfig before transformation
- Fixed generateInlineProxyConfig to get container info before getMCPConfig transforms it
- All tests passing
- Proxy configuration now correctly generated in lock file

Co-authored-by: pelikhan <4175913+pelikhan@users.noreply.github.com>
Comment thread pkg/workflow/mcp-config.go Outdated
Copilot AI changed the title [WIP] Update brave.md workflow to strict mode and fix issues Make brave.md workflow strict and fix network proxy generation for MCP servers Oct 7, 2025
Copilot AI requested a review from pelikhan October 7, 2025 16:37
Co-authored-by: pelikhan <4175913+pelikhan@users.noreply.github.com>
@pelikhan pelikhan marked this pull request as ready for review October 7, 2025 16:48
@pelikhan pelikhan merged commit 68e74a4 into main Oct 7, 2025
1 check passed
@pelikhan pelikhan deleted the copilot/make-brave-md-workflow-strict branch October 7, 2025 16:48
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.

2 participants