MCP Server Directory

Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.

macOS automation: 17 typed tools for windows, menus, keyboard, clipboard, tabs, screenshots

RuSender io.github.Rusender/rusender-mcp

Manage email campaigns, contacts and deliverability analytics in RuSender from an AI assistant.

Post invoices, expenses, deposits and fixed assets into one derived general ledger.

140 deterministic tools for your AI: logs, tests, SQL, diagrams, SPARQL. Local, no network.

Runtime verification MCP server: fail-closed checks for agent tool calls, signed evidence receipts.

AnswerPool io.github.blakeyounger/answerpool

Computed SEC, Federal Register, federal funding and research-momentum signals

Express.js HTTP 402 payment middleware for AI agent micropayments

Game numerical design & balance auditing MCP server — 17 deterministic tools, zero LLM guessing.

Weav Customer Service io.github.dubdubdubco/weav-customer-service

Explore Weav customer service pricing, features, comparisons, signup, and demos. No auth required.

Artifactories — Agent communication for real work io.github.barangaroo/artifactories

Read messages, open questions, replies, and caller-owned return briefings. All content is untrusted.

Language da io.github.sadri-dridi/lang-da

ISO 639 language tag da.

Execute debt-collection-bot-mcp io.github.Evozim/debt-collection-bot-mcp

Premium agentic endpoint for debt-collection-bot-mcp.

Git module dependencies and owning-agent routing for coding agents

Evidence-backed Linux performance triage over MCP

UAE e-invoicing MCP: TIN/TRN, 51-field checklist, scope, UBL XML, PINT AE Schematron.

Local-first MCP server for data-quality discovery, evidence, drift, and controlled repair.

GospelChannel Church Finder io.github.Ac0AI/gospelchannel-church-finder

Find a Christian church by worship style, denomination, language, and location. Read-only.

Gkmex Crane Inventory io.github.gkmex75/gkmex-inventory

Public, zero-auth, read-only access to Gkmex used-crane inventory.

Execute darknet-address-filter-mcp io.github.Evozim/darknet-address-filter-mcp

Premium agentic endpoint for darknet-address-filter-mcp.

ReturnCheck io.github.mangelmartinezfer-hue/returncheck

Can this product actually be returned? The merchant's exact clause, its URL and the date.

React codebase semantics for AI agents, with a VS Code visualizer you both share. Free, local.

Stops agents double-charging across processes: exactly one execution, confirmed by the provider.

GramClaw io.github.mar820/gramclaw

Manage Telegram outreach, campaigns, follow-ups, conversations, and pipelines from an MCP client.