MCP servers for DeepSeek Harness

Executable mathematics and independent verification for AI agents.

Maths a model gets wrong: units with dimensional checking, equations, sheets. 5 tools, local.

MCP server for JinaAI reader

MCP server for kysigned — self-verifying e-signatures

Keyless MCP server for LanguageTool: grammar, spelling and style checking in 30+ languages.

Single MCP hub: discover, add, audit, and govern MCP servers across every AI client.

Primary-source lithium & battery-metals mining data (AISC, reserves, filings) via x402.

One MCP endpoint for Claude Code, Codex, Gemini, Grok and Mistral CLIs, with durable async jobs.

Local OpenAPI contract and breaking-change checks for AI agents.

Universal MCP server that generates tools from any OpenAPI specification

MemoryIndustry persistent memory MCP server: BM25+MMR retrieval and audit.

Turn any live website into brand colors, fonts, design tokens, SVGs, Lottie and paste-ready code.

Montreal Events MCP.

Query the OMDb API: movie/series search and full details with ratings.

Timezone, business-day and meeting-slot maths - no API key.

Character-precise unified diff + patch application + patch parsing.

MCP server for Obsidian-based second brain memory using PARA methodology

Read, search, send and clean up Outlook.com / Hotmail mail through Microsoft Graph.

Benchmark, memory, Big O analysis for AI agents

Private asynchronous Pigeonpost messaging for AI agents over local MCP stdio.

Citybikes MCP — wraps CityBik.es API (free, no auth required)