MCP servers for Codex CLI

Danish company data (CVR) and annual-report financials for B2B lead research. Read-only.

Company and contact enrichment: firmographics from a domain or IP, profiles from a work email.

GTM data layer for AI agents: find scored B2B leads free, reveal verified email+mobile, audit ads.

Sales prospecting and lead generation from Google reviews: local businesses leaking leads, scored.

leading/trailing space count, text discarded

Australian local-trade providers. One signed provider per domain. 15 live across Brisbane.

Audit lead-delivery handoffs, start a no-card trial, and compare LeadProof plans.

Check breach exposure for your verified email and check locally computed password hash prefixes.

Anonymous, encrypted disclosure of AI alignment and safety failures, with signed receipts.

Search VeChain documentation, query on-chain data, and fetch fee suggestions with direct links to…

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

OAuth LeanTrading tools for eligible Pro, Elite, Blueprint, and Admin users.

Read, search and cite all 81 chapters of the Tao Te Ching, with per-rendering attribution.

MCP server for learnhouse documentation, generated by doc2mcp.

Schedule spaced reviews and exam study plans from each learner's forgetting curve.

All 94 LearnWorlds LMS API endpoints as safety-categorized MCP tools (read/write/destructive).

Leave Tracker: the site's own MCP server — calculator, enquiry (enquiry = a human handoff, not a...

Search and read Lebanese laws, articles, court rulings and Gazette issues. Verbatim texts only.

LEEF attr count, line discarded

Legal AI help for business lawsuits: organize your case with AI and cut legal fees. Not a law firm.

Japanese law research MCP: search all e-Gov laws and get articles, resolve delegations, case law, Diet records, amendment history, and full