mcplist
Active filters:
lean
Clear all
Search Servers
Filter by Tags
Clear Tags
1 tag(s) selected
development
(1553)
documentation
(1441)
public
(1436)
location
(436)
AI
(247)
MCP
(212)
API
(96)
automation
(38)
mcp
(31)
blockchain
(29)
database
(29)
integration
(29)
security
(29)
cloud
(20)
crypto
(14)
AWS
(12)
search
(12)
web scraping
(12)
trading
(11)
LLM
(10)
docker
(10)
open source
(10)
weather
(10)
cryptocurrency
(9)
financial
(9)
macOS
(9)
open-source
(8)
AI integration
(7)
email
(7)
finance
(7)
CLI
(6)
DeFi
(6)
TypeScript
(6)
analytics
(6)
chess
(6)
computer vision
(6)
experimental
(6)
kubernetes
(6)
natural language
(6)
observability
(6)
task management
(6)
voice
(6)
GitHub
(5)
Kubernetes
(5)
Node.js
(5)
beta
(5)
code analysis
(5)
community
(5)
file management
(5)
project management
(5)
salesforce
(5)
scraping
(5)
video
(5)
Atlassian
(4)
Azure
(4)
Unity
(4)
ai
(4)
application
(4)
calendar
(4)
data analysis
(4)
data visualization
(4)
image generation
(4)
image processing
(4)
local
(4)
management
(4)
monitoring
(4)
music
(4)
research
(4)
semantic search
(4)
server
(4)
testing
(4)
translation
(4)
video generation
(4)
Alibaba Cloud
(3)
ERC-20
(3)
LBS
(3)
Python
(3)
Revit
(3)
Rust
(3)
SEO
(3)
SQL
(3)
Strava
(3)
Web3
(3)
analysis
(3)
authentication
(3)
bitcoin
(3)
browser
(3)
business intelligence
(3)
cli
(3)
data governance
(3)
deprecated
(3)
filesystem
(3)
football
(3)
home assistant
(3)
infrastructure
(3)
memory
(3)
natural language processing
(3)
self-hosted
(3)
stock market
(3)
telegram
(3)
tools
(3)
vulnerability
(3)
web search
(3)
3D printing
(2)
AI Assistants
(2)
AI agents
(2)
AI detection
(2)
Ableton Live
(2)
AccuWeather
(2)
Apache Druid
(2)
Apple
(2)
ArangoDB
(2)
Auth0
(2)
Bluetooth
(2)
Box
(2)
CAD
(2)
CCTV
(2)
CockroachDB
(2)
Cognito
(2)
DBLP
(2)
DEX
(2)
DaVinci Resolve
(2)
Databricks
(2)
Docker
(2)
EVM
(2)
Fibery
(2)
GraphQL
(2)
Hugging Face
(2)
HuggingFace
(2)
IDE
(2)
IMAP
(2)
JavaScript
(2)
Keboola
(2)
LLMs
(2)
LeetCode
(2)
LinkedIn
(2)
Lisp
(2)
Locust
(2)
Lucene
(2)
MCP clients
(2)
Milvus
(2)
NFT
(2)
Neuro-Symbolic Programming
(2)
NixOS
(2)
OCR
(2)
OpenAPI
(2)
OpenWeatherMap
(2)
PDF processing
(2)
PlayCanvas
(2)
PowerPoint
(2)
PubNub
(2)
Pushover
(2)
Qdrant
(2)
S3
(2)
SDK
(2)
Solana
(2)
Star Wars
(2)
Supabase
(2)
TeamRetro
(2)
TouchDesigner
(2)
Trino
(2)
TrueNAS
(2)
Typesense
(2)
VMS
(2)
VS Code
(2)
Vega-Lite
(2)
WAF
(2)
Wikipedia
(2)
Windows
(2)
XMind
(2)
Xcode
(2)
YouTrack
(2)
YouTube
(2)
academic research
(2)
adb
(2)
air quality
(2)
android
(2)
art
(2)
asset tracking
(2)
attestation
(2)
bible
(2)
bioRxiv
(2)
biomedical
(2)
browser profiles
(2)
business analysis
(2)
camping
(2)
chart generation
(2)
chat
(2)
client libraries
(2)
climate
(2)
cloud costs
(2)
computer control
(2)
constraint solving
(2)
consultation
(2)
context management
(2)
conversion
(2)
cron jobs
(2)
ebook
(2)
editor
(2)
education
(2)
email management
(2)
email marketing
(2)
error management
(2)
evaluation
(2)
excel
(2)
expert services
(2)
extraction
(2)
food safety
(2)
gaming
(2)
geocoding
(2)
geospatial
(2)
health sciences
(2)
http
(2)
identity
(2)
image
(2)
index
(2)
instagram
(2)
iot
(2)
jupyter
(2)
kafka
(2)
keyword research
(2)
knowledge graph
(2)
load testing
(2)
low-code
(2)
markdown
(2)
market data
(2)
market research
(2)
marketing
(2)
medical imaging
(2)
meme generation
(2)
meta-search
(2)
metaprogramming
(2)
multi-chain
(2)
multi-cluster
(2)
museums
(2)
national parks
(2)
network
(2)
no-code
(2)
notifications
(2)
oauth
(2)
optimization
(2)
outdoor recreation
(2)
pandoc
(2)
payment processing
(2)
payments
(2)
pdf
(2)
performance monitoring
(2)
plagiarism
(2)
podcasting
(2)
privacy
(2)
project organization
(2)
prompt management
(2)
proxy
(2)
real-time
(2)
robotics
(2)
screenshots
(2)
simulation
(2)
simulator
(2)
slack
(2)
smart contracts
(2)
solana
(2)
stellar
(2)
supply chain
(2)
system management
(2)
terraform
(2)
text
(2)
text extraction
(2)
text-to-sql
(2)
token swaps
(2)
travel
(2)
tts
(2)
user administration
(2)
user management
(2)
utility
(2)
venture capital
(2)
video editing
(2)
video processing
(2)
web3
(2)
whois
(2)
wordpress
(2)
A2A
(1)
AI tools
(1)
AI workflows
(1)
Alibaba
(1)
Apache Unomi
(1)
CRM
(1)
ClickHouse
(1)
ClickUp
(1)
Couchbase
(1)
DICOM
(1)
DevOps
(1)
Dota 2
(1)
FastMCP
(1)
GPU
(1)
GROWI
(1)
GitGuardian
(1)
Gmail
(1)
Go
(1)
Godot
(1)
Google Ads
(1)
Google Workspace
(1)
Grafana
(1)
IDE integration
(1)
Intercom
(1)
IoT
(1)
JMeter
(1)
Kafka
(1)
Linux
(1)
Meta Ads
(1)
Microsoft Teams
(1)
NASA
(1)
OKX
(1)
Odoo
(1)
OpenSearch
(1)
PaddleOCR
(1)
PancakeSwap
(1)
Playwright
(1)
Pulumi
(1)
PySpark
(1)
RPC
(1)
Redis
(1)
Room protocol
(1)
SMS
(1)
SMTP
(1)
SaaS
(1)
ServiceNow
(1)
Shodan
(1)
Shopify
(1)
Snowflake
(1)
Spira
(1)
Starwind UI
(1)
Stripe
(1)
Teradata
(1)
TigerGraph
(1)
UI components
(1)
Word
(1)
Workflowy
(1)
ZenML
(1)
academic
(1)
ads
(1)
apt
(1)
async
(1)
asynchronous
(1)
avatar
(1)
aviation
(1)
azure
(1)
azure devops
(1)
browser emulation
(1)
charts
(1)
chatbot
(1)
college football
(1)
commands
(1)
communication
(1)
console logs
(1)
content processing
(1)
context
(1)
contracts
(1)
crawl
(1)
cross-platform
(1)
cryptography
(1)
currency exchange
(1)
data
(1)
data interaction
(1)
data processing
(1)
data science
(1)
data scraping
(1)
devsecops
(1)
discord
(1)
discovery
(1)
fantasy premier league
(1)
fintech
(1)
gRPC
(1)
golang
(1)
google-sheets
(1)
google_workspace
(1)
graph
(1)
graphql
(1)
hashing
(1)
helm
(1)
human approvals
(1)
iMessage
(1)
iOS
(1)
identity management
(1)
impact analysis
(1)
incident management
(1)
infrastructure as code
(1)
interactive
(1)
ios
(1)
language server
(1)
language server protocol
(1)
lean
(1)
lean theorem prover
(1)
libvirt
(1)
lightning
(1)
lipsync
(1)
liquidity pools
(1)
llm
(1)
man pages
(1)
mariadb
(1)
medRxiv
(1)
media management
(1)
metacognition
(1)
metadata
(1)
microservices
(1)
neo4j
(1)
network management
(1)
openShift
(1)
payment
(1)
playwright
(1)
process management
(1)
property management
(1)
protocols
(1)
random
(1)
recommendation
(1)
rpc
(1)
sanctions
(1)
sandbox
(1)
screenshot
(1)
searxng
(1)
secret scanning
(1)
sensor
(1)
sentiment analysis
(1)
shopify
(1)
startups
(1)
static analysis
(1)
stickers
(1)
stripe
(1)
templates
(1)
terminal
(1)
text-to-speech
(1)
trading analysis
(1)
train
(1)
transport mechanisms
(1)
transportation
(1)
utilities
(1)
vector database
(1)
verification
(1)
vmware
(1)
webpage
(1)
Search
LE
Jul 02, 2025
lean-lsp-mcp
Interact with the [Lean theorem prover](https://lean-lang.org/) via the Language Server Protocol.
development
documentation
public
lean
language server