"Mathematical modeling resources and information" matching MCP servers:

MCP server for Chainlink Runtime Environment, enabling build, simulate, deploy, and manage CRE workflows from any MCP client.

Read-only on-chain query surface for the AgentCivics civil registry on Sui — soulbound AI-agent identities, on-chain memories, reputation, refusal records. Hosted, no install, no keypair. For write tools (register, write_memory, record_refusal), install the npm package @agentcivics/mcp-server locally and supply your own keypair.

An MCP server that gives autonomous coding agents deterministic, schema-validated tools for EVM smart contract development — security scanning, gas profiling, compiler diagnostics, and transaction simulation.

Enables AI agents to read and bid on a paid message slot on Solana, with enforced spend limits, dry-run proposals, and an append-only audit log for every write.

MCP server for Pi Network that enables AI agents to query Pi chain data (balances, transactions) and verify user tokens, with optional payment sending that is off by default.

Enables LLMs to interact with the AT Protocol ecosystem, including Bluesky, through natural language. Supports public data access without authentication and full write operations with authentication.

Trust infrastructure for AI agents on Base. DEX Spread Oracle (live Uniswap V3 prices), on-chain escrow, insurance pool, and collective knowledge base. 7 smart contracts. Pay-per-query via x402 micropayments in USDC.

Provides Web3 founders with tools for project scoring, portfolio matching, fund matching, hackathon discovery, jurisdiction analysis, Twitter audit, and smart contract security review. Works with MCP-compatible assistants without transmitting file contents.

DexPaprika MCP server allows LLMs to access real-time and historical data on tokens, DEX trading activity, and liquidity across multiple blockchains. It enables natural language queries for exploring market trends, token performance, and DeFi analytics through a standardized interface.

MCP server that builds unsigned Paraswap token swap transactions for self-custody wallets, holding no keys and signing nothing. It returns raw transaction data for a human to review and approve before execution.

MCP server that enables AI signing agents to pre-flight transactions by checking ERC-7730 descriptor safety, explaining function semantics, and scanning contracts for danger primitives.

MCP server for OrcaTrace, a pay-per-call Polymarket intelligence feed for AI agents. It provides tools to track smart money, whale entries with calibration, market repricings, and digests across 42K prediction markets, with payments settled via x402 on Base.

Provides live cross-DEX market data on six EVM chains, including per-venue prices, liquidity, and gross spreads with optimal trade sizes. Enables AI agents to query real on-chain data for BSC, Polygon, Arbitrum, Base, Avalanche, and Optimism via MCP tools.

MCP server for Jupiter API on Solana, enabling immediate swaps via Ultra API and limit orders via Trigger API.

Provides AI agents with direct access to the Ray Group DeFi UX rubric, named patterns, and cognitive-bias glossary for grounded UX assessments of DeFi protocols.

Gives MCP-compatible LLM agents direct access to real-time MEV and DeFi data via Valorem's x402-paid API endpoints, with payments in USDC on Base mainnet.

Deterministic EVM bytecode capability intelligence, EIP-1967 proxy resolution, and preflight guards for autonomous agents on Base.

Hashlock Markets — sealed-bid intent-based crypto trading via MCP for AI agents. Atomic cross-chain settlement (Ethereum, Bitcoin, Sui) using HTLC. Six MCP tools for RFQ price discovery without information leakage and HTLC settlement without escrow or bridges. Canonical npm: @hashlock-tech/mcp.

MCP server that lets AI agents interact with NIGHTGATE, the Midnight blockchain attestation layer, to anchor documents, verify zero-knowledge predicates, manage disclosure grants, and poll async jobs.

MCP server that lets AI agents discover and pay for .agent services using USDC over x402, with daily budget controls and payment link creation.