MCP servers for Grok Build

AI support chat for Japanese-language sites. Analyze chats, review unanswered questions, edit docs.

Leagues to kilometers, number discarded

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

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

Long-term memory for AI assistants. Isolated per-user storage, recall across conversations.

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

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

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

1099/W-2 rules: is a form required, deadlines, backup withholding, late-filing penalties.

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

Deterministic Privacy Policy and Terms drafts and revisions, with approval before publishing.

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

Public Indian legal search MCP for Roop judgments, statutes, and corpus grounding.

Check if an MCP server changed its tools: signed history, per-server coverage, offline proofs.

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

Markdown to PDF: real formulas, repeated table headers, a contents page. 100 free documents a month.

Find US mortgage loan officers for a borrower's situation and place. Free, lender-neutral, sourced.

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

AI booth design, floor-plan redraw, graphic design, model rendering, and LEOR project storage.

Send and read WhatsApp messages on your Leporis account from AI coding agents, via your own API key.

Search website motion, specs and recreation packs. Account required; OAuth or bearer API key.