Skip to content

updated server.json for proper formatting per MCP requirements#130

Merged
mrdailey99 merged 1 commit intomainfrom
develop
Apr 24, 2026
Merged

updated server.json for proper formatting per MCP requirements#130
mrdailey99 merged 1 commit intomainfrom
develop

Conversation

@mrdailey99
Copy link
Copy Markdown
Collaborator

No description provided.

Copilot AI review requested due to automatic review settings April 24, 2026 12:29
@mrdailey99 mrdailey99 merged commit 63acc2c into main Apr 24, 2026
1 check passed
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Updates the MCP server.json manifest to conform to the newer MCP server schema formatting, including structured runtime argument definitions for the Provar MCP server package.

Changes:

  • Shortened/updated the server description field.
  • Converted runtimeArguments from a simple string array to structured positional/named argument objects (with metadata like description and isRequired).

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread server.json
{
"type": "named",
"name": "--allowed-paths",
"value": "{workspaceFolder}",
Copy link

Copilot AI Apr 24, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

value for --allowed-paths uses {workspaceFolder}, but the rest of this repo’s MCP/VS Code configuration examples use ${workspaceFolder} (e.g. docs/mcp.md). If this manifest is intended to use the same substitution syntax, {workspaceFolder} won’t be expanded and will be passed literally—please confirm the correct placeholder format and align it (or document why this differs).

Suggested change
"value": "{workspaceFolder}",
"value": "${workspaceFolder}",

Copilot uses AI. Check for mistakes.
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