MCP servers for Perplexity

Check and verify Lean 4 proofs on hosted, warm Lean and Mathlib workers.

Booking infrastructure for AI agents — distributed locking, trust scores, tamper-proof receipts.

Rent ledgers and prorated rent

Read-only CRE prospects, listings, campaigns, reporting, broker search, and resources.

Hosted remote MCP for protected account access, permissions, activity history and supported undo.

Which days of annual leave to book around bank holidays for the most days off, and cheap flights.

Leyes, reglamentos, resoluciones y jurisprudencia de Ecuador con su fuente oficial, en tu IA.

Read-only backup and export of Xero accounting data: organisations, exports, manifests, downloads.

Governed finance operations for AP, AR, GL, approvals, reporting, and payments.

Check and record your Ledgie household ledger. Ledgie subscription required.

Company facts about Leeveel: general info, ideology, contact details, company and tools.

Checks legal citations against the official register they should come from, and records it.

Search 18M+ legal documents worldwide — case law, legislation, and doctrine across 110+ countries.

Open-source alternative to Jusbrasil for AI: find lawsuits by name, CPF, CNPJ or case number and bui

U.S. law library for AI: court decisions, statutes, court rules and citation checks. Read-only.

Forbered saken din i chatten og bestill en skriftlig vurdering fra en norsk advokat hos Legalis.

Wrapper for the official LegalOne API (Thomson Reuters / Novajus, Premium package): lawsuits and lit

Source-traceable Saju, Zi Wei, Qimen, Daliuren, Tieban, naming, and related calculations

On-chain RPC data for AI agents: block, gas, balance, tokens, receipts, decode. x402 USDC.

Unofficial MCP server for French law via the Légifrance API (PISTE): search, read and cite texts.

Compliance answers for 10 construction trades in AU, UK, US, CA and EU: codes, licensing, RAMS.