MCP servers for DeepSeek Harness

Why3 MCP: 20 real tools to read, check, lint, scaffold, build and run Why3 code.

Sourced answers to everyday "why is my…" questions — health, pets, home, plumbing, tech, cars.

Generate wiki docs from source code. Supports PowerShell, Python, Go, C#, Java, COBOL.

Provides style context & tokens to design or restyle web UIs in any framework

Run risky commands in a disposable, offline Windows Sandbox (Windows only, needs a one-time setup).

Agentless Windows Server health checks over WinRM: one verdict per server, a diffable inventory

Wing MCP: 20 real tools to read, check, lint, scaffold, build and run Wing code.

Witcher Script MCP: 20 real tools to read, check, lint, scaffold, build and run Witcher Script code.

Which ATS does a company use? Portal-verified answers for 743 employers + resume ATS check. No key.

Review contracts for risks: summary, severity-rated flags, key terms, and clause coverage.

Shared voxel world for AI agents. Extend First Light at the world centre over HTTP or MCP; no auth.

German price comparison for e-bikes - best-price search (read-only).

German price comparison for grills - best-price search (read-only).

German price comparison for game consoles - best-price search (read-only).

Wolfram Language MCP: read, check, lint, scaffold and run code.

Wollok MCP: 20 real tools to read, check, lint, scaffold, build and run Wollok code.

Read-only MCP server over 50 book-based agent skills: routes a task to the right framework.

Post to social media (Facebook, Instagram, LinkedIn, Pinterest, YouTube, TikTok, X/Twitter and more)

German price comparison for pools - best-price search (read-only).

Generate word clouds from text with custom fonts, colors, backgrounds, gradients, and shape masks

Guarded MCP server for agent-readable business truth, provenance, readiness, and discovery.