Reasonligo MCP
Local installio.github.mrfentmen/reasonligo-mcp
ReasonLIGO MCP: 20 real tools to read, check, lint, scaffold, build and run ReasonLIGO code.
Every server in the official MCP Registry. Ranked by whether they actually work: we connect to each one and publish what happens.
18,803 servers
ReasonLIGO MCP: 20 real tools to read, check, lint, scaffold, build and run ReasonLIGO code.
Dockerfile layer and waste analyzer: layer sizes biggest first, with deterministic waste flags.
Rascal MCP: 20 real tools to read, check, lint, scaffold, build and run Rascal code.
Build bottleneck profiler: slowest steps, run trend, and cache correlation across CI runs.
Fake people for demos and tests: names, emails, addresses and photos from randomuser.me - keyless.
World of Warcraft Mythic+ data: weekly affixes and recent high-end dungeon runs - keyless.
Marketing Miner: keyword search volume, suggestions, and website traffic estimates.
Ragel MCP: 20 real tools to read, check, lint, scaffold, build and run Ragel code.
GPU energy per million output tokens by model and GPU, with grid carbon intensity.
MCP server for Radio Browser, 40,000+ internet radio stations by genre and country.
Create a digital twin lens page, add knowledge to it, and poll its ingestion status.
R MCP: 20 real tools to read, check, lint, scaffold, build and run R code.
Cross-exchange crypto perps microstructure feed: funding, liquidations, footprint, big trades.
Quint MCP: 20 real tools to read, check, lint, scaffold, build and run Quint code.
Domain availability and pricing, transfer prechecks, US/EU/IL trademark register checks.
Gene Ontology terms, definitions, hierarchy and protein annotations via EBI QuickGO - keyless.
AI-visibility audit: AI crawler access, identity files, page signals, hosted analysis.
Generate QR codes as PNG images locally. No network and no key.
Local stdio bridge to GroundTruth scan reads, bid drafts and pricing.
QML MCP: 20 real tools to read, check, lint, scaffold, build and run QML code.
Rerun or fix? Classify a failed check from past-run evidence: infra flake, flaky, or real.
Q MCP: 20 real tools to read, check, lint, scaffold, build and run Q code.
Diff local vs CI environments: Node, OS, lockfile, and env vars — keys named, values never echoed.
PyPI download statistics: recent totals, daily series, Python and OS splits, package comparison.
PyPI: Python package versions, summaries, authors and release files - keyless.
Read-only Dropbox: list, search by name or content, read files, and inspect metadata.
PVS MCP: 20 real tools to read, check, lint, scaffold, build and run PVS code.
Search your processed video library in natural language and get matching segments back.