MCP servers for Claude Code

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

Cross-platform FastMCP server for authenticated remote Linux/macOS host administration

Universal Image Generator MCP

MCP server for AI-assisted disk cleanup on Unix systems (macOS and Linux)

Evidence-backed architecture-quality analysis for Python agent applications.

Jean-Louis GUENEGO

Autonomous on-chain security detective for Base, exposed over the Model Context Protocol (MCP).

v2v3-mcp: scan Vue2 pages → choice questions → generate Vue3 1:1 (business+UIUX)

AI-powered validator ai MCP server for agents. Supports validate json, validate email, validate

Vast.ai GPU marketplace MCP server — search offers, provision GPU instances, manage bids and billing with token-efficient defaults

MCP server that lets AI agents vent friction into .vents/ markdown files in your repo

Free US local event search. No signup or API key; 90-day lookahead. Paid commercial and bulk access.

Check products, credentials, claims, and agents against NPC Labs verification records.

MCP server for Switchback — classify AI agent turns by complexity and pick the cheapest model that can handle them. Drop-in for Claude

MCP server that lets image-only models look at video: timecoded frames, measurable properties.

MCP server & CLI for controlling windows visually — capture screenshots, OCR text extraction, and keyboard/mouse input

Search 9 public discussion platforms for real opinions. Semantic routing, no API keys required.

Solana wallet forensics SDK, x402 pay-per-call, AI agents.

MCP server for WarpDrive — gives AI assistants accurate WarpDrive docs so they stop hallucinating APIs

MCP Server for Warp Engine + Magento 2 development workflow

MCP server for web intelligence — DNS, SSL, tech stack, metadata, link safety. One tool to investigate any website. No API keys needed.