Skip to content

added remote to the server.json for discoverability#117

Merged
ctufts merged 1 commit intomainfrom
ctufts/agi-694
Feb 20, 2026
Merged

added remote to the server.json for discoverability#117
ctufts merged 1 commit intomainfrom
ctufts/agi-694

Conversation

@ctufts
Copy link
Copy Markdown
Contributor

@ctufts ctufts commented Feb 20, 2026

…tries

Description

  • Add the hosted MCP to the server.json's remotes to ensure it is visible in registries and package registries.

Testing


Checklist

  • Changelog updated
  • Code has been tested locally (configs and docs only)
  • Unit tests have been added or updated
  • Documentation has been updated if needed

Additional Notes

@ctufts ctufts marked this pull request as ready for review February 20, 2026 17:59
@ctufts ctufts requested a review from a team as a code owner February 20, 2026 17:59
@ctufts ctufts changed the title added remote to the server.json so our hosted info is listed in regis… added remote to the server.json for discoverability Feb 20, 2026
@ctufts ctufts merged commit 993cc51 into main Feb 20, 2026
5 checks passed
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.

3 participants