93 skills. One install layer.

High-performance WebAssembly theorem prover with dependent types, hash-consing (150x faster), Ed25519 proof signatures, MCP support for Claude Code, AgentDB vector search, episodic memory, and ReasoningBank learning. Formal verification with cryptographic

ThryxProtocol v3.1.1 MCP Server — gasless AI agent launchpad + trading platform on Base. 21 tools wrapping the thryx.fun HTTP API. Server-managed wallets, paymaster gas, free LLM-driven autotrader. No private keys, no signing, no API bills. Auto-registers

Pexels MCP server — search and fetch free stock photos, videos, and curated collections from Pexels inside Claude Desktop, Claude Code, Cursor, Cline, and other Model Context Protocol clients.

Production-ready AI agent orchestration platform with 66 specialized agents, 213 MCP tools, ReasoningBank learning memory, quantum-resistant Jujutsu VCS, and autonomous multi-agent swarms. Built by @ruvnet with Claude Agent SDK, neural networks, memory pe

GARL Protocol MCP Server — cryptographic verification for AI agent actions. 28 named tools: submit signed Action Receipts (v0.1), query multi-dimensional Trust Vector, issue/verify/revoke capability tokens (JWT-shaped + ECDSA-secp256k1), Capability Gate p

MCP server for Wildberries Seller API — 15 tools: products, prices, stocks, orders, sales, supplies, ABC analysis. Production-grade rate limiting (409 penalty protection).

Naver Finance web crawler with MCP server support - crawl Korean stock market data

MCP server for MoySklad (Moy Sklad) ERP/inventory API — products, stock, orders, counterparties, supplies, profit reports. 10 tools. Token bucket rate limiting (45 req/3s). Dual auth: Bearer token or Basic login/password.

CLI & MCP server for KRX (Korea Exchange) Open API — query Korean stock market data (KOSPI, KOSDAQ, ETF, bonds, derivatives) from terminal or AI agents

African financial data — central bank rates, development indicators, trade stats. MCP server for AI agents.

Alpha Vantage MCP — Stock market data, fundamentals, and earnings

IBAN validation, BIC/SWIFT lookup, Swiss clearing, SEPA compliance, issuer classification and risk indicators for AI agents. 121,197 BIC entries (38,761 LEI-enriched via GLEIF; additional rows from SWIFT directory, Bundesbank, SIX, NBP), 1,190 Swiss BC-Nu

Asian financial data — BOJ, PBOC, RBI rates, Asian Development Bank stats. MCP server for AI agents.

MCP server that stops AI agents from overpaying. Drops into Claude Desktop, Cursor, Continue, Windsurf, Zed, ChatGPT desktop, and Gemini CLI to give any agent live fair-market-value lookups, a green/amber/red prepay verdict, and cryptographically-signed (

Latin American financial data — central bank rates, inflation, trade balances. MCP server for AI agents.

The Swiss Army knife of MCP servers — 16 tools in a single connection. Weather, stocks, news, search, translation, and more. No API keys needed.

FDIC MCP — FDIC BankFind Suite API (free, no auth)

Production-ready AI agent orchestration platform with 66 specialized agents, 213 MCP tools, ReasoningBank learning memory, and autonomous multi-agent swarms. Built by @ruvnet with Claude Agent SDK, neural networks, memory persistence, GitHub integration,

Model Context Protocol (MCP) server for Neural Trader with 87+ trading tools

MCP server for AI agent trading — 275+ perpetual markets including TSLA, NVDA, GOLD, SILVER via Hyperliquid HIP-3. Stocks, commodities, crypto, forex. By Purple Flea.

Middle East and North Africa financial data — sovereign wealth, oil markets, central banks. MCP server for AI agents.

AI-powered FastMCP server for intelligent stock photo search, download, and attribution management from Unsplash

Bybit trading MCP server — exposes Bybit REST and WebSocket APIs as MCP tools

Axon CLI — local non-custodial trading terminal for AI agents (Claude Code, Claude Desktop, Cursor, Codex, Cline, Continue, Windsurf, Hermes, OpenClaw). Boots the daemon + dashboard + MCP server. Trade Hyperliquid perps, Uniswap V3 spot, Aave V3 lending,