MCP servers for Perplexity

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

GTM operations knowledge: delivery playbooks, field studies, benchmarks and operator interviews.

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.

Hosted MCP for LearnOS: search courses, lesson citations, flashcards and notes from any MCP client.

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

Swedish private car leasing deals: search, compare prices, price history, brands, fees.

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

Leave Loading Calculator: the site's own MCP server — calculator, enquiry (enquiry = a human...

Read-only Davis-Bacon wage determination lookup, crew pay checks, fringe 6B, WH-347 payroll drafts.

First MCP for the European hemp & CBD market: real French CBD catalogue, producers, FR/EN wiki

Live prices for laptops, phones and more across Lebanese shops, in USD, checked nightly.

Double-entry bookkeeping: accounts, journal entries, bank feeds, reconciliation, and reports.

Turn any table into a real .xlsx or CSV file: numbers stay numbers, header frozen. Free, no storage.

Cryptographically anchored evidence for agents: verified run receipts, proof-gated settlement.

Self-hosted personal finance app with bank sync, budgets, net worth and investment tracking

LEEF attr count, line discarded

European-first forecasts, fundamental screening, and historical market cap.

Automated code modernizer converting legacy logic to ESNext.

Case law, court dockets, FINRA BrokerCheck and trademark data as 10 agent tools.