MCP servers for Cursor

Start and follow atoma builds; read their runs, traces, agent registry and skill catalogue.

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

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

Indonesian ATR/BPN land parcels by certificate number, NIB or coordinates, with overlaps.

Open roles from public Greenhouse, Lever, Ashby, Workable job boards as clean data. Winters Works.

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

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

Licensed Austin TX HVAC and mini split contractors compared, with prices and quote requests.

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

Text to speech and transcription for any AI model: MP3 voiceovers, audio and YouTube to text.

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.

Evidence-bound REW measurement, analysis, conservative EQ, DSP, and listening-test tools.

Give 3D AI agents a voice and a face from any MCP client — text-to-speech, speech-to-text, audio-to-face lipsync (ARKit blendshapes), and

Whisper speech to text, 99 languages: files, TikTok and podcast links to text, SRT, Word/PDF.

Search, read and ask questions about your AudioMap transcripts, notes, speakers and clips.

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.

Your audit methodology inside Claude: findings, risks, controls and workpapers in your team format.

Read-only access to Auralogs production logs: search logs, inspect errors, review AI analyses.

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