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.
MCP Server for Vertex AI Search
MCP Server for Vertex AI Search is a Model Context Protocol server that searches documents using Vertex AI grounding with Gemini. It integrates one or multiple…
VisualDudek's GitHub Portfolio
A repository for testing MCP server implementations and related projects.
Open Source MCP CLient Library
<picture> <img alt="" src="./static/image.jpg" width="full"> </picture> <h1 align="center">Open Source MCP CLient Library </h1>…
Easy MCP GitHub Tools Application
A set of powerful tools designed for seamless integration with GitHub via MCP
MCP Server Test Collection
# MCP Server Test Collection [](https://opensource.org/licenses/MIT)…
Cursor IDE and MCP Servers
Repository for Cursor IDE and MCP servers testing
🚫 MCP GIT: Server Testing 🚫
This repository serves as a testing ground for the MCP GIT: Server functionality. It demonstrates core GitHub operations such as repository creation, file…
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…
What's Running
Live OS ground truth for agents: running agent sessions, listening TCP ports, loaded daemons and system load, read straight from the OS instead of stale docs…
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.
Claude MCP Server
# 🧠 Meta-Optimized Hybrid Reasoning Framework **by Ryan Oates** **License: Dual — AGPLv3 + Peer Production License (PPL)** **Contact…
Cursor MCP Server
# Cursor MCP Server # 🧠 Meta-Optimized Hybrid Reasoning Framework **by Ryan Oates** **License: Dual — AGPLv3 + Peer Production License (PPL)** **Contact…