A
licenseB
qualityA
maintenanceEnables deterministic verification for AI assistants by executing Python code that uses symbolic engines like SymPy and Z3 for math, logic, and code analysis.
2
Apache 2.0
Code Execution
Code execution servers. Allow LLMs to execute code in a secure environment, e.g. for coding agents.
MCP ServersBrowse all →
@reachpad/mcpofficial
AlicenseAqualityBmaintenanceProvides MCP tools to create, run commands in, checkpoint, and delete durable cloud environments, giving coding agents persistent state between calls.703MIT
Ansys CFX-MCPofficial
AlicenseAqualityAmaintenanceAn MCP server that enables AI assistants to interact with Ansys CFX through PyCFX, supporting natural-language-assisted CFX-Pre, CFX Solver, and CFD-Post workflows for setup, execution, and postprocessing.7Apache 2.0
declaw-mcp-serverofficial
AlicenseAqualityCmaintenanceRuns AI-generated code in secure Firecracker microVMs with opt-in network policy enforcement, PII scanning, prompt injection defense, and audit logging. Exposes MCP tools for running commands, managing files, and the full sandbox lifecycle.7521Apache 2.0
Kuzu MCP serverofficial
AlicenseBqualityFmaintenanceThis server enables natural language interaction between a user and their Kuzu databases using clients like Claude Desktop or Cursor, allowing LLMs to retrieve the database schema, execute Cypher queries, create nodes, and establish relationships in the graph database.242MIT- AlicenseAqualityBmaintenanceEnables AI agents to execute Lua code, inspect scripts, spy on remotes, and interact with a running Roblox game client through an MCP interface.822951MIT
Code Ocean MCP Serverofficial
AlicenseBqualityBmaintenanceProvides tools to search and execute Code Ocean capsules and pipelines while managing platform data assets. It enables users to interact with Code Ocean's computational resources and scientific workflows directly through natural language interfaces.265MIT
Teradata MCP Serverofficial
AlicenseAqualityAmaintenanceA server providing tools for querying and analyzing Teradata databases, including database management, data quality assessment, and SQL execution capabilities through an MCP interface.4754MIT
groq-compound-mcp-serverofficial
AlicenseAqualityBmaintenanceEnables interaction with Groq models, including compound models, through tools for asking questions with real-time information and code execution.211354MIT
globus-mcpofficial
AlicenseAqualityCmaintenanceMCP server enabling LLMs to manage Globus data transfers and compute tasks.1011Apache 2.0
bnbchain-mcpofficial
AlicenseBqualityBmaintenanceA MCP server for BNB Chain that supports BSC, opBNB, Greenfield, and other popular EVM-compatible networks.2621960MIT
Netlify MCP Serverofficial
AlicenseBqualityCmaintenanceEnables code agents to interact with Netlify services through the Model Context Protocol, allowing them to create, build, deploy, and manage Netlify resources using natural language prompts.917,66960ISC- AlicenseAqualityFmaintenanceMCP for Scorable Evaluation Platform312MIT
- AlicenseAqualityAmaintenanceAn MCP Server that enables LLMs to build real-time 3D web applications in the PlayCanvas Editor.124756132MIT
Doris MCP Serverofficial
AlicenseAqualityAmaintenanceBackend service implementing the Model Control Panel protocol that connects to Apache Doris databases, allowing users to execute SQL queries, manage metadata, and potentially leverage LLMs for tasks like natural language to SQL conversion.8344Apache 2.0
alpaca-mcp-serverofficial
AlicenseAqualityBmaintenanceAlpaca’s official MCP Server lets you trade stocks, ETFs, crypto, and options, run data analysis, and build strategies in plain English directly from your favorite LLM tools and IDEs61945MIT
abap2UI5 MCP Serverofficial
AlicenseAqualityBmaintenanceProvides AI coding agents a full abap2UI5 development loop—writing ABAP classes, validating views, deploying, and running apps headless with screenshots—all locally without an SAP system.9191MIT- AlicenseAqualityFmaintenanceThe Atla MCP Server provides a standardized interface for LLMs to interact with the Atla API for state-of-the-art LLMJ evaluation.217MIT
execution-run-mcpofficial
AlicenseAqualityNot gradedmaintenanceEnables AI agents to interact with the Execute.run bot API for managing Shell balances, transferring funds, and executing LLM requests. It provides tools for identity verification, transaction tracking, and performing compute tasks through the Execute.run platform.6
SAS MCP Serverofficial
AlicenseAqualityAmaintenanceEnables execution of SAS code on SAS Viya compute environments with OAuth2 authentication. Allows users to run SAS programs and retrieve execution results including logs and output through the Model Context Protocol.7553Apache 2.0- AlicenseAqualityCmaintenanceLanguage-owned MCP gateway and execution-host coordination for Hara, exposing read-only tools for runtime introspection, evaluation, calls, and checks, with an optional deterministic test fixture for development.4Apache 2.0
Fibery MCP Serverofficial
AlicenseBqualityDmaintenanceThe Fibery MCP server provides integration between Fibery and any LLM provider supporting the MCP protocol (e.g., Claude for Desktop), allowing you to explore Fibery Workspace Schema, query databases, create and update entities using natural language.729MIT- AlicenseAqualityBmaintenanceJungle Grid MCP Server lets AI agents submit, estimate, monitor, and retrieve logs for GPU workloads through Jungle Grid. It enables agentic execution for inference, training, fine-tuning, and batch jobs without manually choosing GPU providers or infrastructure.8204MIT
Vendure MCP Serverofficial
AlicenseBqualityFmaintenanceA standalone server that enables programmatic interaction with Vendure CLI commands, allowing external MCP clients to automate and integrate with Vendure e-commerce projects through command execution and project analysis.72412MIT- AlicenseAqualityAmaintenanceA Model Context Protocol server that enables LLMs to interact with Anki flashcard software through AnkiConnect, allowing for creation and management of flashcards, decks, and note types.316153251MIT
Kilntainersofficial
AlicenseAqualityFmaintenanceMCP server to give every agent an ephemeral Linux sandboxes for executing shell commands.150MIT- AlicenseAqualityAmaintenanceMCP server for full AutoCAD automation, AutoCAD LT automation, and headless DXF generation. It provides 8 consolidated tools for drawing, entity, layer, block, annotation, P&ID, view, and system operations via MCP stdio transport.61213MIT
mcp-oceanbaseofficial
AlicenseBqualityDmaintenanceMCP Server for OceanBase database and its tools8108Apache 2.0- AlicenseAqualityAmaintenanceA Model Context Protocol server implementation that enables AI assistants to securely interact with GreptimeDB, allowing them to explore database schema, read data, and execute SQL queries through a controlled interface.1329MIT
- AlicenseAqualityCmaintenanceLets AI assistants use MetaModel's formula engine for certified computation, turning published calculators, pricing tools, and engineering models into AI-callable tools with no hallucinated math.334MIT
MCP ConnectorsBrowse all →
Pay-per-call MCP tools via x402 USDC: ZAR prices, data extraction, Python sandbox, SA flights.
Universal pay-per-call tool API for AI agents. Web search, price feeds, hive memory, LLM routing, code sandbox. Free tier (10 calls/day, no signup). x402 payments on Base + Solana.
Coding agents build full-stack apps in persistent workspaces and share them by link.
AI-agent verifier: verdict committed before the outcome graded against it; /review, /ledger.
Accountless pay-per-use code execution for agents. Read-only search and pricing; pay via x402.
Proves AI-generated Python does what you asked: lint, types, security, sandbox run, exact fixes.
Proof and repair for Apple coding agents: validate Swift, run Xcode evidence, and repair failures.
Host AI-generated single-file HTML apps with JSON persistence. No signup.
Paid pre-execution risk verification for AI agents over MCP and x402.
Valida regex, cron y SQL contra ejecucion real. Pago por llamada via x402/USDC.
Build a full backend from Claude Code — boards, data, REST APIs — plus a ready-made admin UI
Read-only Animica chain data, free AI inference, verifiable quantum randomness, and mining stats.
Authenticated async Fable 5 Agent agent with status polling and artifact results.
Scientific compute for AI agents: symbolic, numerical, quantum, chemistry, ODE. Paid via x402.
Engineering calculation MCP server for oil and gas engineering applications.
AI access to Quadratic spreadsheets: open files, run Python/SQL, query connected databases.
MCP server for Klever blockchain smart contract development.
Docs for hot-module-reload and reactive programming for Python (`hmr` on PyPI)
40+ developer tools from Context7, Code Runner, Python Execute, NPM Sentinel, PlantUML, and Microsoft Learn. Docs lookup, code execution, security scanning. Starts at $0.01/call. Get your API key at app.xpay.sh or xpay.tools
Precision math engine for AI agents. 203 exact methods. Zero hallucination.
