MCP servers for DeepSeek Harness

Atom feed shape, body discarded

Atomadic MCP: 68 deterministic tools for agent identity, escrow, SLA, EU AI Act compliance.

Give your AI coding tools your team's product context: stories, bugs, epics, and glossary.

Theorem provers for agents: SystemOnTPTP, StarExec, Isabelle and local ATPs, with SZS verdicts.

Publish webpages and documents, send private review links, and collect comments and approvals.

Verify Attest agreements, stamp codes, receipts, proofs and SHA-256 fingerprints, with no sign-in.

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

The global price benchmark for AI inference: 23 price indexes, market KPIs and SKU-level prices.

Austin TX countertop prices, live granite/quartz slab inventory, job estimates and quote requests.

Validate Australian ABNs and ACNs, and verify ABNs live against the Australian Business Register.

Heat pump vs gas hot water (AU): rebate stack, net outlay and payback verdict by postcode.

Legal towing check for ~46 AU vehicles — compliant/marginal/illegal + the binding constraint.

Audio guides for 44,000+ places in 1,900+ cities, with narrated previews in ChatGPT and Claude.

Signed, append-only receipts of an AI agent's decisions and outcomes, with public proof links.

Speech to text from audio/video files and podcast feeds: text, timestamps and SRT subtitles.

Czech audiobook catalog MCP server. Search 12 000+ titles + compare prices across 5 partners.

Transcribe with speaker labels, split stems, remove noise, separate speakers, convert audio to MIDI.

Search speech in podcasts, government meetings, and your own audio: speakers, entities, timestamps.

Audio and video tools for your AI assistant: remove noise, enhance voices, transcribe, and more.

Search art and antiques from dealers and auction houses; manage your watchlist and saved searches.

Review AurasPay merchant payments and prepare payment links with scoped OAuth and human approval.