33055 Model Context Protocol servers — searchable, rated, ready to install.
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
Ashby job boards with employer-published salary data, via an Apify Actor, hosted MCP.
Payment identity intelligence for AI agents.
Token-efficient code reading for coding agents: symbol-aware, budgeted, diff-aware reads.
Persistent memory for AI agents, for code, research and everyday life. Stale facts retire.
Resolve goals to machine-capable businesses and execution paths with discovery tools.
Email shape, address discarded
Score and rewrite AI-assisted prose while preserving names, numbers, quotes, links, and facts.
Agents can't skip steps: runs gated stepfiles on the client's own model.
ISO 639 language tag az.
Manage Telegram outreach, campaigns, follow-ups, conversations, and pipelines from an MCP client.
Send emails from natural language prompts.
Manage email campaigns, contacts and deliverability analytics in RuSender from an AI assistant.
Read your .ics calendar for appointments, free-busy windows and conflicts.
Monitor ICTBroadcast outbound campaigns, and start and stop them when writes are on.
Source-linked building-permit search across 34 US states and DC, with county-level coverage.
SEFAZ GO: IPVA, official-source lookup. Platform-hosted, pay per query with prepaid credit.
Dated deliverables for client work: status, late items with value at risk, sign-off documents.
Parse, lint, format, render, and migrate Carve documents through MCP.
Your brand's Styles, logos and asset library in your AI app, for on-brand assets that match.
ISO 4217 currency TWD.
Unicode word count, text discarded
CSV column count, body discarded
Current UTC time from NTP atomic clocks. Zero-dependency stdio server.
POST /mcp