MCP servers

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

Check an AI-built app is safe to launch, then deploy it on accounts you own.

Cold email from your agent: contact lists, campaigns, campaign brains, reply drafts and a CRM.

Give your AI agent a wallet: live FX rates, swaps and payments in 140+ local currencies.

All your company email, operated by agents and reviewed by you.

Governed BI MCP. Ask questions of live company data and list workspace sources via OAuth.

Deploy, share and run the Apps you build with AI, private to the people you invite.

Batesio: the monthly US and GB search demand across the tools this product ships, read from...

Manage beehiiv newsletters, posts, podcasts, community, subscribers, and analytics.

Employers manage electrician job posts and applicants on BestElectricianJobs.com.

Pack a folder with a glob, look inside an archive, unpack it with bomb, traversal and symlink guards

Import a bank CSV, dedupe on re-import, categorise, summarise per currency and find subscriptions.

Read an .ics export: list events with recurring series expanded, find free and busy, bill a meeting.

Assemble a contract from a searchable clause library, with variables filled in or flagged as missing

Dated deliverables against a quote or work order. late_report says what has slipped as at any date y

Resize, convert, compress, crop and watermark images from chat, with a real byte count each time.

Resize, convert, compress, crop and watermark images from chat, with a real before-and-after byte co

Numbered invoices with VAT lines rendered to a real PDF. Numbers are sequential and never reused.

Merge, split, rotate, stamp and read PDFs from chat. Page ranges and watermarks, all on your machine

Check and watch prices on ordinary shop pages, keep the history and alert on a target you set.

QR codes, WiFi and vCard codes, SEPA payment codes and EAN, UPC and Code 128 barcodes, drawn locally

Send a priced, VAT-correct quote from chat, then turn the yes into an invoice with one call.

Licensed, cited financial data for AI agents: news, filings, transcripts, research and tearsheets.

Configure the AI sales assistant (voice, SMS, follow-ups, web calling) of your BiglySales workspace.

Let agents drive Revit, AutoCAD, SketchUp, Blender and PDF sets on your own Windows desktop.