Adding tools.json for Microsoft Learn MCP to help the build which skips tool detection for remote servers

[pdebruin]

---

name: Update existing MCP server
about: Requests for updating an existing MCP server to the Docker Catalog
title: ""
labels: submission
assignees: ""

MCP Server Information

Server Name:
Repository URL:
Brief Description:

Basic Requirements

• Open Source: Uses acceptable license (Apache-2.0, MIT, BSD-2-Clause, BSD-3-Clause or other permissive license)
• MCP Compliant: Implements MCP API specification
• Active Development: Recent commits and maintained
• Docker Artifact: Dockerfile
• Documentation: Basic README and setup instructions
• Security Contact: Method for reporting security issues

Submitter Checklist

• This server meets the basic requirements listed above
• I understand this will undergo automated and manual review.
• I have tested the MCP Server using task validate -- --name SERVER_NAME
• I have built the MCP Server using task build -- --tools SERVER_NAME

[pdebruin]

@ipedrazas @TianqiZhang

[pdebruin]

Since this hasn't been merged yet, adding the 3rd code_search tool

[pdebruin]

@ipedrazas How do we get this reviewed to show up in the registry?

[yzxbmlf]

I'm waiting for my PR to be merged too Pieter. We are in the same boat. I'm not sure what is happening but the wait is frustrating.

[pdebruin]

@ipedrazas I fixed the missing commas