搜索结果

Z3 Theorem Prover with Functional Programming

An MCP server for the z3 theorem prover

Zapiar_MCP_Server

PubTator MCP Server

aps-aecdm-mcp-dotnet

.NET MCP Server to connect with Claude Desktop and AEC Data Model API

MCP_server_example

AgentX

The future of development is here, this repo integrates various MCP servers and gives a Agent Client implementation - called AgentX to use those MCP servers to Solve real world problems

Understanding MCP Architecture: Single-Server vs Multi-Server Clients

MCP architecture demo with single-server & multi-server clients using LangGraph, AI-driven tool calls, and async communication.

Jupythunder

Nixos

Mcp Stargazing

Explorium

AegnticMCP

AegnticMCP automates the creation and management of MCP servers, ensuring they are stable, adaptable, and intelligent.

MCP_DOCKER

sequence-flow-experiment-with-desktop-commander

Fully AI generated Flutter app in Claude Desktop with 3.7 Sonnet by MCP servers desktop-commander and sequential-thinking

s-GitHubTestRepo-HJA3

created from MCP server demo

Awesome MCP

Due to the naming issue of the model providers, let's review the model names.

s-GitHubTestRepo-HJA2

created from MCP server demo

MathCAD MCP Server

MathCAD MCP Server

Serper

Cursor & Claude Think MCP

MCP Server for using Claude's Think Tool

Letta MCP Server

Mirror of

Deriv API Server

Mirror of

Mermaid MCP Server

Mirror of

My MCP server ratio