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.

Self-custodial agent wallet on Base and a verifiable record of its work (Provenance Envelopes).

Find unflagged agent OAuth clients before the mandate lock — signed per-client census verdicts.

Croatian company data: registry, financials, licences, concessions, court notices, subsidies.

Residential proxies for AI agents: usage, proxy URLs by country, IP purity checks and cost quotes.

Query free proxies by country, protocol and anonymity. Read-only access; no account or API key.

Buy and manage ISP proxies: offers, orders, renewals, traffic, whitelists and wallet.

Residential proxy checkout prices, terms and sourcing checks, every fact dated and sourced.

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

Every email and calendar account you connect, for AI agents, with permissions and approvals.

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

CrossFit and HYROX workout search, benchmark targets, scaling guidance, and movement technique.

Read-only psilocin human-neuron gene results, pathway sensitivities and archived provenance.

Read-only psilocybin literature, trial facts, citations and verified bibliographic datasets.

Find a state-licensed psilocybin center by city.

Insurance pricing: build, validate and test rating models, then price quotes from your AI client.

Point-in-time US equity fundamentals for quants and AI agents. Free tier, no API key needed.

PTL services, case studies and cross-site professional evidence with nonbinding discovery guidance.

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

Fetch public HTTP GET responses as text with status, content type and a content hash.