Best Signa AI Skills & MCP Servers

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

MCP server for Robokassa payment API — generate payment URLs, check invoice status. 2 tools. MD5 signature auth.

MCP server that scans your codebase for TODOs, FIXMEs, code complexity, file stats, and tech debt signals. Zero config.

Agent-native MCP server for PDF inspection, extraction, citation chunks, and safety signals.

Model Context Protocol server for the XRPL-Utilities portfolio: Sentinel (wallet classifier), Pulse (signal feed), Telemetry (supply + utility floor), Trust (XLS-70/80/81 directory), Vault (RWA tracker), and Flows (ETF AUM vs XRPL flow correlation). Expos

Cosmic Correlation Engine -- MCP Server for AI Agent Astrology. Natal charts, transits, cosmic weather, correlations, forecasts, and network signals for AI agents. Every agent has a birth chart. This is how you read it.

Trakt MCP — TV/movie metadata + watch tracking signals

Verifier library for atrib. Independent signature, graph-derivation, and settlement-recommendation checks per atrib spec §4.6.

MCP server for DWLF market analysis platform — exposes market data, indicators, signals, strategies, backtests, portfolio, trade journal, and more as AI-accessible tools

Terminal Commander: local MCP-operated terminal/file signal channel with native Linux, Windows, and macOS packages.

MCP server for atrib. Lets agents query their own provable past from the local signed-record mirror with per-record signature verification.

The Brain Layer for AI Trading Agents — composite quant calls across 5 exchanges (Hyperliquid, Binance, Bybit, OKX, Bitget), cross-venue arb, regime-aware classification, and a 20-skill catalog via MCP.

Pack files into a compressed context bundle — reduce token usage by extracting only signatures, maps, or full content.

Traseq MCP server, CLI, and SDK for AI-assisted trading strategy research, SignalGraph authoring, validation, backtesting workflows, and system template composition.

An MCP server that exposes a MeshCore node — and the mesh reachable through it — as a clean, high-signal interface for AI agents and tools. Built on @dpup/meshcore-ts.

BidSparq MCP server — query federal RFPs, subaward primes, pricing percentiles, wired-RFP signals, buyer-side procurement-officer contacts (Beacon), and federal contract vehicles / GWACs / GSA Schedules / BPAs from Claude Desktop, Claude Code, Cursor, and

MCP server for VC Deal Flow Signal — search, shortlist, compare, and predict startup engineering acceleration across 20 sectors. Transparent, citable funding-likelihood scores with full evidence chains. Commit velocity, contributor growth, and repo-expans

SIGNA Model Context Protocol server. Drop into Claude Desktop, Cursor, Windsurf, or any MCP-compatible client and your AI tool gets a wallet on SIGNA plus working tools for Aeon (ERC-8004), Bankr, Gitlawb, and MiroShark. Cross-platform agent messaging + i

Lightweight stdio-to-HTTP MCP bridge from Claude Desktop / Claude Code to Snapper /api/mcp, with a `watch` subcommand that streams live signal + order events as JSONL via the /api/auth/ws_token endpoint.

Resolve JVM classpath via Gradle and extract Java source, signatures, and structure for agents (CLI + MCP)

MCP server for the BuyGit Open Index — 78k+ curated, license-tagged Git assets. 14 tools, 7 resource templates, 4 prompts. Every response carries 4-axis signals (license + supply-chain risk + popularity + pricing) — the industry-unique combination no othe

MCP server for AI agents to report infrastructure needs. Vote, comment, and track demand signals across the agent ecosystem.

On-chain blockchain data for AI agents. 41 MCP tools for whale tracking, entity analysis, exchange flows, ML predictions, wallet profiling, direct Ethereum RPC, and cross-chain signals across Ethereum, Bitcoin, and Hyperliquid.

GitHub-derived engineering acceleration signals for VC deal flow — surface stealth startups before TechCrunch covers them. Weekly-refreshed dataset of 109 startups across 20 sectors (AI/ML, Dev Tools, Infra, FinTech, +16 more), ranked by 14-day commit velocity change, contributor