Ground Truth
Validate AI claims against live data: check endpoints, count competitors, test hypotheses.
Directory
Search MCP Servers
Ground Truth
Validate AI claims against live data: check endpoints, count competitors, test hypotheses.
MCP-RoCQ (Coq Reasoning Server)
MCP-RoCQ is a Model Context Protocol server that provides advanced logical reasoning capabilities through integration with the Coq proof assistant. It enables…
Portuguese Legal Document PDF Metadata Extractor
MCP server for extracting metadata from Portuguese legal documents using advanced PDF processing and database architecture
MCP Server Logical Solver
A project that integrates mcp servers for Prover9/Mace4 for a logical reasoning agent
Logic (Prover9/Mace4)
Integrates Prover9/Mace4 for automated reasoning, theorem proving, and logical analysis.
mcptesting
mcptesting is a test repository created via an MCP server. It serves as a basic testing ground for MCP server functionality.
Pipetable
Pipetable is an MCP server that registers your local data files as DuckDB views and lets AI tools (Claude Code, Cursor, Copilot, RooCode) run real SQL against…
flkeys.app
flkeys.app — verified, ground-truthed local intelligence for the Florida Keys. Not scraped, not guessed.
kvasir.legal
Ground your legal AI on verifiable German, Austrian, Swiss & EU law — resolve, search and verify citations with provenance and pinpoint deeplinks. 440k+…
Meeba Brain
Ground-truth code graph context for your own private codebase — exact callers, callees, symbol definitions, and dependencies.
Rostro
Turn any language model into a multimodal powerhouse that can generate images, music, videos and more on the fly. Rostro's tools are designed to be used by…
UIZZE
STOP UI SLOP: ground Codex, Claude Code, Cursor, and Copilot in 800,000+ real web and iOS screens before a hard finish-gate review.
➡️ attestable-mcp-server
Verify that any MCP server is running the intended and untampered code via hardware attestation.
Spark MCP (Model Context Protocol) Optimizer
# Spark MCP (Model Context Protocol) Optimizer This project implements a Model Context Protocol (MCP) server and client for optimizing Apache Spark code. The…
Voiceflow MCP Client
# Voiceflow MCP Client A Node.js client for the Model Context Protocol (MCP) that integrates with remote MCP servers to provide tools for your Voiceflow Agent…
Alcheon
Alcheon is an MCP server that gives AI coding agents access to a curated library of 100+ analyzed real-world design systems, letting them recommend reference…
Winforensics Mcp
<img src="icon.png" width="150" alt="WinForensics MCP"> # Windows Forensics MCP Server > **Windows DFIR from Linux** - A comprehensive forensics toolkit…
Mythsensus Mcp
# Mythsensus MCP > An MCP (Model Context Protocol) server that exposes the Mythsensus engine — > 26 ancient divination algorithms implemented in TypeScript —…
Perseus
# Perseus™ 🪞 — One command. Zero orientation. [](https://smithery.ai/servers/Perseus-C…
Context Pipe
# ⛓️ Context-Pipe **The Universal Standard for Context Engineering.** [](htt…
Social Superpowers
Hosted MCP for X/Twitter and Reddit. 12 read-only tools, no API keys, free during beta.
Fast Html Mcp
# Fast HTML MCP [](https://www.npmjs.com/package/@aimino/fast-html-mcp-server)…
STK-MCP
An MCP server allowing LLMs to interact with Ansys/AGI STK - Digital Mission Engineering Software