Logic (Prover9/Mace4)
Integrates Prover9/Mace4 for automated reasoning, theorem proving, and logical analysis.
Directory
Search MCP Servers
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…
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…
Meeba Brain
Ground-truth code graph context for your own private codebase — exact callers, callees, symbol definitions, and dependencies.
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.
Cursor MCP Server
# Cursor MCP Server # 🧠 Meta-Optimized Hybrid Reasoning Framework **by Ryan Oates** **License: Dual — AGPLv3 + Peer Production License (PPL)** **Contact…
MCP Server SSH Server
# MCP Server SSH Server [](https://pypi.org/project/m2m-mcp-server-ssh-server/)…
Spring AI MCP Weather Server Sample with WebMVC Starter
# Spring AI MCP Weather Server Sample with WebMVC Starter This sample project demonstrates how to create an MCP server using the Spring AI MCP Server Boot…
Context Pipe
# ⛓️ Context-Pipe **The Universal Standard for Context Engineering.** [](htt…
Orderly Network Mcp Server
# Orderly Network MCP Server A Model Context Protocol (MCP) server providing documentation and SDK patterns for Orderly Network - an omnichain perpetual…
GitHub MCP Server Practice Repository
Practice repository for MCP server implementation
🤖 MCP Server Terminator Test Facility
A testing ground for the MCP server terminator. Hasta la vista, bugs!
Code Reason
MCP server that gives coding agents program-analysis primitives — data flow, call graphs, taint analysis — so they reason from ground truth instead of…
Chroma Package Search
Add to coding agents like Claude or Cursor to give them the ability to understand and better use thousands of dependencies.
MCP US Weather Client/Server
A simple MCP (Model Context Protocol) server that provides weather alert information for US states, leveraging the National Weather Service (NWS) API. It also…
MCP Client for Testing
A simple MCP (Model Context Protocol) client for testing MCP Server
Mcp Csharp Sdk Client
Mcp Csharp Sdk Client is a sample C# MCP client designed for use with the x64Dbg MCP Server. It allows an AI model (Gemini or Claude) to connect to the MCP…
Eventor API Client
# Eventor API Client A Python client for integrating with the Eventor orienteering API, providing access to events, entries, and results. ## Features - Access…