Fast Lean 4 proof feedback for agents, powered by LeanInteract.
65,049 MCP servers
Token-minimized URL-to-clean-text reader for LLMs, with a token-savings receipt.
A Model Context Protocol (MCP) server that provides personalized Bible guidance and mentorship through AI integration with OpenAI's ChatGPT
TypeScript MCP server for the Lexicon DJ Local API — library queries, tags, playlists, writes
Model Context Protocol (MCP) server for Lightning Polar - enables LLMs to interact with Polar networks
The lilAgents free-tool fleet as an MCP server: detect a site tech stack, trace redirects, snapshot DNS, audit security headers, check
MCP server for LINE Messaging API — send messages, manage groups, rich menus, and query analytics
MCP server for LinkedIn prospection automation — find leads, score, qualify, personalize outreach messages, and manage your sales pipeline
AI-powered Minecraft build concept generator MCP server
MCP server for ListBee — commerce API for AI agents
MCP server for LiteAPI hotel booking services - compatible with n8n workflows
A live connection between AI assistants and your running Obsidian instance. Full app automation — not just file access.
MCP server for Salesforce Marketing Cloud
A Model Context Protocol (MCP) server for the LMEX exchange API — full spot and futures trading, market data, wallet management, and more.
This is a Model Context Protocol (MCP) server built with Node.js that provides AI assistants with secure access to LnExchange trading and
MCP server that provides fetch capabilities without robots.txt restrictions
MCP server for intelligent Playwright locator generation - Get locators, analyze pages, generate POMs, and run tests
Encrypted secrets for Next.js. AES-256-GCM with no vault needed.
Log Reader is an MCP server that runs on your own machine, started by your client over stdio.
MCP server for LogicStamp - exposes deterministic architectural context for AI workflows.
MCP server for the Loooom Claude Code plugin/skill marketplace