MCP Server Directory

crypto-casinos io.github.cryptoplayer/crypto-casinos

Real-money crypto casino audits: trust scores, live tests, rankings, new casinos, bonuses. Signed.

Detect pytest config-leakage that corrupts agent-benchmark grading. Deterministic, no-LLM.

Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management

VM-side verify proxy for keystone attestations

Your own notes, searched and cited by your AI — local-only, allowlist-gated, capped, and logged.

Kanban boards, sprints, tickets and a team wiki, with versioned writes for concurrent agents.

FRESH — Shared URL Freshness Intelligence io.github.GSterlingPress/fresh

Decide whether an agent should reuse cached URL knowledge or fetch the resource again.

Vett Compliance MCP Server io.github.Gorp405/vett-compliance

Sanctions, PEP, watchlist, recall, business, and contract screening. Free tier, no auth required.

mcpcheck io.github.joeyough/mcpcheck

Scan any MCP server for tool-poisoning, security, auth & license. Trust score before install.

Tribunal TRT21: Certidão Eletrônica de Ações Trabalhistas (CEAT) io.github.mcp-dir/tribunal_trt21_ceat-mcp

Tribunal TRT21: Certificate Eletrônica de Ações Trabalhistas (CEAT), official-source lookup. Platfor

grith-mcp io.github.dario933/grith-mcp

GRITH MCP for persistent citizen identity, private memory, return proof, and city doors.

Procuradoria Geral do Estado SP: Dívida Ativa io.github.mcp-dir/pge_sp_divida_ativa-mcp

Procuradoria Geral do Estado SP: Dívida Ativa, official-source lookup. Platform-hosted, pay per quer

DETRAN ES: Emissão de Documento Único de Arrecadação (DUA) io.github.mcp-dir/detran_es_dua-mcp

DETRAN ES: Issuance de Documento Único de Arrecadação (DUA), official-source lookup. Platform-hosted

Make production-ready static maps. Every map is a URL you can embed anywhere.

SINTEGRA: MA io.github.mcp-dir/sintegra_ma-mcp

SINTEGRA: MA, official-source lookup. Platform-hosted, pay per query with prepaid credit.

emailverifier.dev io.github.usamaejaz/emailverifier

Verify emails and domains for routing, disposable providers, role accounts, and SMTP risk.

UK lorry-loader (hiab) compliance — ALLMI ACoP, BS 7121-4 lift planning, LOLER Thorough

SEFAZ MG: Certidão Negativa de Débitos io.github.mcp-dir/sefaz_mg_certidao_debitos-mcp

SEFAZ MG: Clearance Certificate (Debts), official-source lookup. Platform-hosted, pay per query with

Tribunal TRT17: Consulta Processual io.github.mcp-dir/tribunal_trt17_processo-mcp

Tribunal TRT17: Lookup Processual, official-source lookup. Platform-hosted, pay per query with prepa

The private, owned conversation-memory layer for AI. Record, transcribe, and search every meeting.

GuruHotel Manager com.guruhotel/manager

Manage your GuruHotel hotel: reservations, revenue, rates, KPIs, traffic and ARI updates (OAuth).

Tribunal TRT18: Consulta Processual io.github.mcp-dir/tribunal_trt18_processo-mcp

Tribunal TRT18: Lookup Processual, official-source lookup. Platform-hosted, pay per query with prepa

Protocol- & auth-agnostic API connector: SOAP/REST behind any auth, config-driven. Lib/API/MCP.

Ruben Marcus — Agent-Ready Portfolio io.github.rubenmarcus/portfolio

Public portfolio MCP for resume, services, availability, project evidence, and introductions.