MCP servers for DeepSeek Harness

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

Don't build it alone: what exists, who won, what nobody has, a merge plan, and who else works on it.

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).

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.

Unofficial MCP server for WLED LED controllers; not affiliated with the WLED project

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.

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

Read WordPress content, ACF fields, and Yoast SEO data, and safely edit drafts.