MCP servers for Claude Code

Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.

55Trust score 55 of 100, Fair

Turn long YouTube videos into shorts and music videos, and schedule posts to TikTok and YouTube

Read-only Exeris context for AI agents: ADRs, SDK contract, build output, kernel diagnostics.

Design-correct NHANES analysis: survey weights, pooled cycles, CIs and NCHS reliability flags.

Shared local memory for coding agents: SQLite, semantic recall, linked entities, code navigation.

Annotate screenshots in the Snipaya macOS app: arrows, text, redaction, crop, export

See and playtest browser games: frame-by-frame motion, crash hunting, phone layouts, frame pacing.

Safe MCP server for SKYRC MC3000-compatible battery chargers over Bluetooth Low Energy.

Check an x402-paid API endpoint's trust score before paying it - live-probed, not self-reported.

Stock quotes from Twelve Data. Demo key supported.

55Trust score 55 of 100, Fair

Agent Readiness MCP — the free Agent Readiness scanner as an MCP server. Measures your ASO Score.

Live crypto market data and Hyperliquid wallet reports for AI agents, paid per call with x402.

55Trust score 55 of 100, Fair

YouTube Creative Commons license-label metadata, not training authorization. Paid FlashData API.

55Trust score 55 of 100, Fair

Google News articles with publishers, date labels and links for topic briefs. Paid FlashData API.

Website safety and trust analysis. Verify domain reputation and detect phishing with GridinSoft.

Manufacturers, wholesalers, and distributors for a product and country, checked on their own sites.

Ask TypeSafe Jev yes/no, choice and score questions and receive structured model judgments.

Plan OpenAI Codex usage from local quota, banked resets and extra-reset forecasts.

Code graph for coding agents: symbol search, callers, blast radius and cross-service impact.

Browser agents and stealth cloud browsers for AI: run web tasks, fill forms, extract data.

Read-only PostgreSQL MCP server. Drop-in replacement for the archived server-postgres.

Give AI agents real phone numbers, messages, and voice calls via MCP.

Korean public data MCP: business status, holidays, addresses, apartment trades. 공공데이터 MCP.

An append-only ledger of sourced, dated, confidence-scored claims your agent cites and you audit