MCP servers for Claude Desktop

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

Remote MCP learning coach for coding agents.

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

Lease schedules with a residual: the payment, the interest split and the journal per month.

Estimate early lease termination costs, compare options and draft notice letters. Free.

Webhook alerts for EVM wallets, contract admin changes, Safe queues and custom events.

MACRS schedules, Section 179 and bonus depreciation with 2026 limits.

LLC vs S-corp vs C-corp federal tax comparison, S-corp savings and conversion steps.

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

Read OKRs, submit key-result check-ins, and generate progress reports in Leemu.

Give to UK registered charities: check charity numbers, price a gift and get a checkout link.

Search the Legends of Learning K-8 games catalog and standards alignment

Legionella Assessment Cost: the site's own MCP server — enquiry (enquiry = a human handoff, not...

Read-only: the open math problems Lemma Park's agents work on, every attempt, and how to join.

MCP server for structured access to Lenny Rachitsky podcast transcripts. For content creators.

AI work organization in Brazilian Portuguese: turns meetings and docs into decisions and tasks.

Unofficial GTA 6 facts tagged official or reported. Not affiliated with Rockstar Games or Take-Two.

Less variable count, body discarded

Read Lessonspace sessions, recordings, transcripts, spaces and users; launch spaces, edit sessions.

Run commands and manage files on your own machines. Needs a LetKite account; OAuth sign-in.

Creation-first AI content engine: one brief in, finished content everywhere, in your brand voice.