NestDaddy

DiffMint by Harlo

dev.workers.mike-tusa.diffmint/diffmint · v0.1.0

Diff two texts by line, word or char: unified diff, HTML redline, patch apply, similarity.

Connect Remote server

Terminal
claude mcp add --transport http diffmint https://diffmint.mike-tusa.workers.dev/mcp --header "Authorization: Bearer <YOUR_API_KEY>"
~/.cursor/mcp.json
{
  "mcpServers": {
    "diffmint": {
      "url": "https://diffmint.mike-tusa.workers.dev/mcp",
      "headers": {
        "Authorization": "Bearer <YOUR_API_KEY>"
      }
    }
  }
}
.vscode/mcp.json
{
  "servers": {
    "diffmint": {
      "type": "http",
      "url": "https://diffmint.mike-tusa.workers.dev/mcp",
      "headers": {
        "Authorization": "Bearer <YOUR_API_KEY>"
      }
    }
  }
}
Claude Desktop
Settings > Connectors > Add custom connector
URL: https://diffmint.mike-tusa.workers.dev/mcp

Replace the values in angle brackets with your own. Keys stay on your machine; we never see them.

Tools 3 found in our last check

  • diff_text

    Compare text a with text b by lines (default), words or chars. Returns ops (equal/insert/delete), a unified diff (lines mode), optional escaped HTML redline, stats and similarity. Deterministic diff (Myers algorithm via jsdiff), not an AI or semantic comparison. Limits per side:…

  • apply_patch

    Apply a single-file unified diff (patch) to text and return the patched text, or applied:false if a hunk does not match. Optional fuzz 0-2.

  • text_similarity

    Similarity ratio 0-1 between two texts (2 x unchanged chars / total chars) on chars (default), words or lines granularity, plus change stats.

Headers

NameDescription
Authorization
Optional, secret
Optional. 'Bearer <key>' for higher limits. Works without a key.

Details

Endpointhttps://diffmint.mike-tusa.workers.dev/mcp (Streamable HTTP)
First published28 Oct 2026
Last updated28 Oct 2026
Registry namedev.workers.mike-tusa.diffmint/diffmint

More files and documents servers See all

Listing data from the official MCP registry. Status and tools from NestDaddy's daily check. Browse all MCP servers.