Microsoft Learn

KnowledgePublisher: Microsoft

Route Microsoft Learn MCP traffic through Formal to control and log what AI agents do in Microsoft Learn:

Block tools you don’t want agents to call, such as microsoft_code_sample_search.
Mask sensitive data in tool results, such as emails and phone numbers in microsoft_docs_search responses.
Log every tool call with the user, the MCP client and its parameters.

0. Prepare your Connector

The Connector needs an MCP listener and a hostname with wildcard DNS and TLS. Set them up once by following Deploy the Connector. Every MCP server reuses them.

1. Add Microsoft Learn MCP server to your Resources

UI
Terraform
Pulumi
API

Open the Admin Catalog and click Add MCP.
Select the Microsoft Learn template.
Enter a DNS-label Name, such as microsoft-learn.
Choose the Space containing your Connector, such as default.
Configure upstream authentication as described below, then save.

If no Connector is in the selected Space, the Configuration tab shows MCP clients can’t connect directly yet. The reason reads: No Connector is in this server's Space.

Set space_id to the ID of the Space containing your Connector.

resource "formal_resource" "microsoft_learn" {
  name                    = "microsoft-learn"
  technology              = "mcp"
  hostname                = "learn.microsoft.com"
  space_id                = "<SPACE_ID>"
  native_users_v3_enabled = true
  port                    = 443
  tags = {
    "mcp-endpoint" = "/api/mcp"
  }
}

This public server does not need formal_resource_oauth_settings.

Set spaceId to the ID of the Space containing your Connector.

import * as formal from "@formalco/pulumi";

const resource = new formal.Resource("mcp", {
  name: "microsoft-learn",
  technology: "mcp",
  hostname: "learn.microsoft.com",
  port: 443,
  spaceId: "<SPACE_ID>",
  tags: { "mcp-endpoint": "/api/mcp" },
  nativeUsersV3Enabled: true,
});

Create a Resource with the MCP endpoint and its Space ID.

export FORMAL_API_KEY="<YOUR_API_KEY>"
RESOURCE_RESPONSE=$(curl --fail --silent --show-error \
  --request POST \
  https://api.formal.ai/core.v1.ResourceService/CreateResource \
  --header "x-api-key: ${FORMAL_API_KEY}" \
  --header "Content-Type: application/json" \
  --data-binary @- <<JSON
  {
    "name": "microsoft-learn",
    "hostname": "learn.microsoft.com",
    "port": 443,
    "technology": "mcp",
    "spaceId": "<SPACE_ID>",
    "tags": [
      {
        "key": "mcp-endpoint",
        "value": "/api/mcp"
      }
    ]
  }
JSON
)

2. Setup Authentication

Microsoft Learn is a public server and needs no credential. Choose Pass Through.

Pass Through selected under How does Formal authenticate to this resource?

Nothing in the request identifies the Formal user. Formal attributes these requests only when they come through the Formal Endpoint. Pass-through servers have no Connector address, so cloud agents can’t use them.

3. Route Endpoint traffic

Auth is managed at the Connector level when you use Linked Accounts or Shared Credentials, so the Endpoint needs to forward the MCP traffic to it. Laptops and VMs with the Formal Endpoint keep using https://learn.microsoft.com/api/mcp, and a network rule sends that traffic to the Connector.

UI
Terraform
Pulumi
API

Go to Network Rules and create a rule named microsoft-learn-mcp.
Paste this expression, set the rule to Active, then save:

{
  "condition": {
    "pre_tcp": process.is_agent,
    // Every MCP server added to Formal: process.is_agent && resource.technology == "mcp"
    "pre_tls": process.is_agent && hostname == "learn.microsoft.com",
    "post_tls": true
  },
  "outputs": {
    "forward_to_connector": true
  }
}

resource "formal_network_rule" "microsoft_learn_mcp" {
  name        = "microsoft-learn-mcp"
  description = "Forward Microsoft Learn MCP traffic from agents to the Connector"
  status      = "active"

  # Every MCP server added to Formal: set pre_tls to process.is_agent && resource.technology == "mcp"
  cel_expression = <<-EOT
    {
      "condition": {
        "pre_tcp": process.is_agent,
        "pre_tls": process.is_agent && hostname == "learn.microsoft.com",
        "post_tls": true
      },
      "outputs": {
        "forward_to_connector": true
      }
    }
  EOT
}

import * as formal from "@formalco/pulumi";

new formal.NetworkRule("microsoftLearnMcp", {
  name: "microsoft-learn-mcp",
  description: "Forward Microsoft Learn MCP traffic from agents to the Connector",
  status: "active",
  // Every MCP server added to Formal: set pre_tls to process.is_agent && resource.technology == "mcp"
  celExpression: `
    {
      "condition": {
        "pre_tcp": process.is_agent,
        "pre_tls": process.is_agent && hostname == "learn.microsoft.com",
        "post_tls": true
      },
      "outputs": {
        "forward_to_connector": true
      }
    }
  `,
});

export FORMAL_API_KEY="<YOUR_API_KEY>"
# Every MCP server added to Formal: set pre_tls to process.is_agent && resource.technology == "mcp"
CEL_EXPRESSION=$(cat <<'CEL'
{
  "condition": {
    "pre_tcp": process.is_agent,
    "pre_tls": process.is_agent && hostname == "learn.microsoft.com",
    "post_tls": true
  },
  "outputs": {
    "forward_to_connector": true
  }
}
CEL
)
jq -n --arg cel "${CEL_EXPRESSION}" '{
  name: "microsoft-learn-mcp",
  description: "Forward Microsoft Learn MCP traffic from agents to the Connector",
  status: "active",
  celExpression: $cel
}' | curl --fail --silent --show-error \
  --request POST \
  https://api.formal.ai/core.v1.DesktopService/CreateDesktopRoutingRule \
  --header "x-api-key: ${FORMAL_API_KEY}" \
  --header "Content-Type: application/json" \
  --data-binary @-

The rule matches known agents only. See Identity headers.Cloud agents such as Claude, ChatGPT and Cursor Cloud Agents don’t run the Endpoint. Point them at this server’s Connector address, https://microsoft-learn.<connector-hostname>/mcp. Find it in the Admin Catalog: open Microsoft Learn, then copy Connector address on the Configuration tab.

4. Create policies

Tools

The Admin Catalog lists these tools for Microsoft Learn:

Tool	Description
`microsoft_docs_search`	Search Microsoft Learn documentation.
`microsoft_docs_fetch`	Retrieve a Microsoft Learn page.
`microsoft_code_sample_search`	Search official Microsoft code samples.

5. Check the logs

Open Logs and search for resource.name:microsoft-learn. Each Microsoft Learn tool call is one request log with the user, the MCP client and the tool. Open a log to see its tool parameters and the policies it triggered.See Logs for search syntax and filters.

Troubleshooting

Laptop traffic doesn't appear in Logs

Cause: The Endpoint isn’t running, or the network rule doesn’t match the client.Fix: Check the Endpoint is connected. The rule above only matches known agents. Other clients, such as a browser, reach Microsoft Learn directly unless the rule also matches them. See Network rules.

MCP clients can't connect directly yet

Cause: The Configuration tab lists the reason, most often No Connector is in this server's Space.Fix: Edit the server and choose the Space containing its Connector.

Getting Started

Example Use Cases

AI Governance

Configuring Formal

Integrations

Configuration

0. Prepare your Connector

1. Add Microsoft Learn MCP server to your Resources

2. Setup Authentication

3. Route Endpoint traffic

4. Create policies

Tools

5. Check the logs

Troubleshooting

Next Steps

MCP Gateway

All MCP servers

​0. Prepare your Connector

​1. Add Microsoft Learn MCP server to your Resources

​2. Setup Authentication

​3. Route Endpoint traffic

​4. Create policies

​Tools

​5. Check the logs

​Troubleshooting

​Next Steps

MCP Gateway

All MCP servers

0. Prepare your Connector

1. Add Microsoft Learn MCP server to your Resources

2. Setup Authentication

3. Route Endpoint traffic

4. Create policies

Tools

5. Check the logs

Troubleshooting

Next Steps