"Tools for Converting LaTeX Mathematics to Lean Formalizations" matching MCP connectors:
GET /v1/connectors – MCP directory API referenceMatching Connector Tools:
Solana trading and filtered live data for AI agents. Build swaps via Jupiter, sign locally, submit through PumpView, and read confirmed receipts and per-key volume. SOL/WSOL or USDC on one side. No trading subscription; 0.5% swap fee plus tips (min 0.002 SOL) and network costs. Bearer API key from a PumpView account or wallet-signature onboarding. Public discovery; paid live data. Agent Kit and skill: https://github.com/grinchdev/pumpview-agent-kits
Pay-per-use APIs for agents: web research, data lookups, and metered endpoints billed to credits.
MCP-native AI browser testing for coding agents. Submit a URL + goal, get back action trail, bugs, screenshots, and WebM video your agent patches from directly. 43 tools, 12 AI evaluation personalities, combo tiers with auto-pause-on-bugs, throwaway email + SMS inboxes.
Read-only access to your MetaTrader 4 and 5 accounts for AI agents: balances, open positions, trade history with win rate, live quotes, symbol specs and candles. It cannot place, modify or close orders.
Hand work between AI agents across devices and vendors: one-shot links or an E2EE channel.
Memory for AI agent teams across tools, sessions, repositories, and teammates.
OpenFinance gives any AI agent easy trading across every major market through one hosted MCP server. Trade crypto spot and perpetuals on Hyperliquid with market, limit and TWAP orders, leverage and margin control. Trade stocks, indices, commodities, forex and pre-IPO names as Hyperliquid HIP-3 perps. Trade Polymarket prediction markets with odds, order books, positions, PnL and trader leaderboards. Swap and bridge across 40+ EVM chains and Solana with Relay and Jupiter, find memecoins across 200+ chains, launch tokens on Robinhood Chain and Solana, and buy crypto with card, bank or UPI. Write actions are designed to ask for your confirmation first. Connect with OAuth (sign in to OpenFinance and approve) or an API key. Works with Claude, ChatGPT, Cursor, VS Code, Codex and any MCP client. No install. Home: https://openfinance.tech/agents · Docs: https://docs.openfinance.tech · GitHub: https://github.com/openfinance-tech/mcp
Execution control plane for agents: capabilities, durable jobs, budgets, receipts, and BYOK.
Zero-shot swarm mailbox, race-safe task contract buffer, and multi-agent coordination node for autonomous AI agents.
Free directory of MCP servers and x402 APIs for AI agents. Find them, or list your own in one call.
AI agents and scripts reporting back to your iPhone with Push Notifications and Live Activities.
The memory that doesn't belong to the model. One memory store that carries long, cumulative work across chats and AI tools: Claude, ChatGPT and any MCP client that signs in with OAuth. It holds tagged memories, ordered folders for books and projects, artifacts, tables, tasks, photos and reusable skills, and finds them by meaning or by tag. Your AI reads it and writes to it. Muninn never rewrites it behind you. Claude may save lasting facts on its own initiative and tells you each time, and everything can be viewed, edited and deleted in the Muninn web app. Memories are encrypted at rest under a key for each account. Free for up to 150 items. Paid is $8 a month and adds unlimited items, team sharing and a copy in your own Google Drive.
A decision model for the calls that don't have a right answer. The better option, with a reason.
290+ quality-scored API capabilities for AI agents across 27 countries via MCP.
Pass, fail, or retry verdicts and consensus scores for agent outputs.
Contract-change authorization for AI agents: preflight a change to an API or MCP contract, get a signed decision, and verify the receipt offline. Only a granted change can proceed.
Single-connection meta-router indexing 500+ MCP servers & A2A tools with 85% token compression an.
arifOS — a constitutional kernel for AI agents. 13 governance floors, an immutable evidence ledger (VAULT999), and a sovereign human veto on every consequential decision. Forged, not given.
Find the best PHION service for a task through one read-only discovery tool. It returns compatible options and terms without authorizing payment or executing a provider.
Block an action a signed mandate does not permit: amount, payee, audience, currency, window, intent.
