Model Context Protocol servers that extend AI capabilities
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
Read-only Wheel of Heaven corpus: myth search, primary texts, datasets, typed graph. CC0.
toolstop
MCP server that validates check digits for IBAN, LEI, ISBN, GTIN/UPC, VIN, NPI, ISIN, ABA routing numbers and payment cards.
...moreestebanforge
Asana Work Graph tool for Pi. Adds 16 LLM-callable tools (asana_*) that query the Asana REST API over plain HTTP. Mirrors a curated subset of the official Asana MCP tool set — no MCP server install required. Personal access token auth via ASANA_ACCE
...moreMCP server for searching your local OpenCode conversation history
tokpl
NeuronAI / mcp-server - package for Neuron - AI Memory
Alfredo Costa
MCP server for controlling Stellarium planetarium software
Governed memory for AI agents — MCP server for the Sagrada belief operator (release-candidate placeholder; first stable release imminent)
...moreacailic
MCP server for GitStrology — use astrology data inside Claude, Cursor, and ChatGPT.
Live LP analytics — Uniswap V2/V3, Balancer, Curve stableswap: PnL, health, slippage, depeg risk.
Validates AI-generated Python: syntax, lint, security scan and deterministic repair.