MCP servers for Devin Desktop

MCP server for retrieving data from different knowledge bases

MCP server for Obsidian GraphRAG, agent-ready context, preview-only planning, and safe repo handoffs

AI agent knowledge marketplace. Discover, purchase, and retrieve human expertise via x402 on Solana.

Local-first judgment layer: counter-examples & blind spots from your own knowledge base.

Russian company data by INN: registry, financials, bankruptcy, inspections, sanctions

MCP server for Kova Mind — use AI memory in Claude Desktop, Cursor, and more

Read-only MCP access to sessions, funnels, campaigns, errors, live visitors, and anomalies.

An MCP server that provides weather data

Compiler-precise code property graph for C, Python, and TypeScript, navigable over MCP.

AEO scoring, llms.txt audit, and agent-readiness checks for AI agents.

Construction punch list management for AI agents. Create lists, add items, track progress.

MCP server for resolving latest compatible npm packages

Local MCP server for Android/iOS device automation and performance telemetry (ADB, simctl, devicectl, WDA)

Official MCP server for Leadpipe intent and data APIs.

Static analyzer flagging lookahead bias & data leakage in ML/trading code before backtest.

Fast Lean 4 proof feedback for agents, powered by LeanInteract.

Basic arithmetic tools with natural-language expression parsing and evaluation.

Verifiable provenance for AI agents — ZK proofs over confidential documents, no plaintext exposure.

Stop vibecoding blind. Code graph so your AI stops breaking things across your codebase.

An MCP server whose confirmation cannot be replayed against a different call.

Human-in-the-Loop API: AI agents create forms, share URLs with humans, get JSON back.