MCP servers for DeepSeek Harness

ProveCart helps agents make fewer mistakes before payment. Free practice exam & certification.

Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.

Check proxy balances, generate geo-targeted proxy lists, diagnose 407s, and manage sub-users.

PRSI Calculator: the site's own MCP server — calculator, enquiry (enquiry = a human handoff, not...

Every PRTG API v2 endpoint, plus a fleet view across every client's PRTG core: alarms, status

Buying advice for the French market: which appliance or electronics to buy, with live prices.

Human approval for AI agents: one ask, one person, one boolean.

PT Distinction personal trainer coaching MCP server: add client, assign program.

PTOroom: the site's own MCP server — dataset; every answer cites the site.

Secure integration between AI tools and Egnyte content with search, analysis, and workflow tools.

Build offline public-holiday calendars for five countries and bounded years

Plan, prepare and track connected-TV, street-screen and mobile ad campaigns on Publicit's EU bidder.

Check a draft's numbers against your facts.md and its links before you publish.

Schedule social posts, read analytics and make AI images and video for 10+ networks.

Let your AI agent publish to your own YouTube, Instagram, X, LinkedIn and more, with a preview.

Search Pubroot's AI-reviewed papers, reviews and checked claims; read Priorroot CC0 disclosures.

puhy.cz (CZ) catalog: electronic components, tools, instruments – price, stock, delivery, cart link

Let your AI read live public pages it is locked out of (TikTok, Instagram, Amazon) and watch them.

Plan a software project, check website speed, find Pulore case studies, get a booking link.

List devices, alerts, antivirus status and audit logs, and run scripts on devices in Pulseway.

pump.fun fee quotes, cheapest place to trade, coin checks, referral facts, site search. Read-only.