z3_mcp

javergar/z3_mcp

3.2
developer_tools

If you are the rightful owner of z3_mcp and would like to certify it and/or have it hosted online, please leave a comment on the right or send an email to henry@mcphub.com.

A Python implementation of abstractions over the Z3 Theorem Prover capabilities using functional programming principles, exposed through a Model Context Protocol (MCP) server.

Comments

No comments yet. Be the first to comment!

Related MCP Servers

View all developer_tools servers →
claude-task-master

claude-task-master

4.7

by eyaltoledano

Task Master is a task management system for AI-driven development with Claude, designed to work seamlessly with Cursor AI.

ai_chatbot
Sequential Thinking

Sequential Thinking

4.6

by modelcontextprotocol

An MCP server implementation that provides a tool for dynamic and reflective problem-solving through a structured thinking process.

research_and_data
exa-mcp-server

exa-mcp-server

4.5

by exa-labs

A Model Context Protocol (MCP) server allows AI assistants to use the Exa AI Search API for real-time web searches in a secure manner.

research_and_data
n8n-workflow-builder

n8n-workflow-builder

4.5

by makafeli

The n8n Workflow Builder MCP Server is designed to manage n8n workflows, providing tools for workflow management and execution management.

developer_tools
mcp-server-tree-sitter

mcp-server-tree-sitter

4.5

by wrale

The MCP Tree-sitter Server is a Model Context Protocol server that provides code analysis capabilities using tree-sitter, designed to give AI assistants intelligent access to codebases with appropriate context management.

developer_tools
mcp-sequentialthinking-tools

mcp-sequentialthinking-tools

4.5

by spences10

An adaptation of the MCP Sequential Thinking Server designed to guide tool usage in problem-solving by breaking down complex problems into manageable steps.

developer_tools
mcp-n8n-workflow-builder

mcp-n8n-workflow-builder

4.4

by salacoste

The n8n Workflow Builder MCP Server is designed to manage n8n workflows using the Model Context Protocol, allowing seamless integration with Claude AI and Cursor IDE.

cloud_platforms
deepwiki-mcp

deepwiki-mcp

4.4

by regenrek

This is an unofficial Deepwiki MCP Server that processes Deepwiki URLs, crawls pages, converts them to Markdown, and returns documents or lists by page.

browser_automation
mcp-taskmanager

mcp-taskmanager

4.4

by kazuph

Model Context Protocol server for Task Management, enabling Claude Desktop or any MCP client to manage and execute tasks in a queue-based system.

developer_tools
claude-code-mcp

claude-code-mcp

4.4

by auchenberg

Claude Code MCP is an implementation of Claude Code as a Model Context Protocol (MCP) server, enabling its software engineering capabilities through a standardized interface.

developer_tools
f2c-mcp

f2c-mcp

4.3

by f2c-ai

A Model Context Protocol server for Figma Design to Code using F2C.

developer_tools
DesktopCommanderMCP

DesktopCommanderMCP

4.3

by wonderwhy-er

Desktop Commander MCP is a tool that allows users to search, update, manage files, and run terminal commands using AI, without incurring API token costs.

file_systems
Everything MCP Server

Everything MCP Server

4.3

by modelcontextprotocol

The Everything MCP Server is a comprehensive test server designed to demonstrate the full capabilities of the Model Context Protocol (MCP). It is not intended for production use but serves as a valuable tool for developers building MCP clients.

developer_tools
osp_marketing_tools

osp_marketing_tools

4.3

by open-strategy-partners

A comprehensive suite of tools for technical marketing content creation, optimization, and product positioning based on Open Strategy Partners' proven methodologies.

communication
mcp-svelte-docs

mcp-svelte-docs

4.3

by spences10

A Model Context Protocol (MCP) server that provides a comprehensive reference guide for Svelte 5, helping LLMs provide accurate guidance when users are working with Svelte.

developer_tools
mcp-nixos

mcp-nixos

4.3

by utensils

MCP-NixOS is a Model Context Protocol server designed to provide accurate information about NixOS, Home Manager, and nix-darwin configurations, preventing AI assistants from generating incorrect data.

os_automation
mcp-reddit

mcp-reddit

4.3

by adhikasp

A Model Context Protocol (MCP) server that provides tools for fetching and analyzing Reddit content.

entertainment_and_media
mcp-git-ingest

mcp-git-ingest

4.3

by adhikasp

A Model Context Protocol (MCP) server that helps read GitHub repository structure and important files.

developer_tools
Software-planning-mcp

Software-planning-mcp

4.3

by NightTrek

A Model Context Protocol (MCP) server designed to facilitate software development planning through an interactive, structured approach.

developer_tools
Nx MCP Server

Nx MCP Server

4.3

by nrwl

A Model Context Protocol server implementation for Nx, providing LLMs with deep access to monorepo structures.

cloud_platforms
dev-mcp

dev-mcp

4.3

by Shopify

This project implements a Model Context Protocol (MCP) server that interacts with Shopify Dev, supporting various tools to interact with different Shopify APIs.

developer_tools
mcp-grafana

mcp-grafana

4.3

by grafana

A Model Context Protocol (MCP) server for Grafana providing access to your Grafana instance and its ecosystem.

monitoring
notion-mcp-server

notion-mcp-server

4.2

by awkoy

Notion MCP Server is a Model Context Protocol server implementation that enables AI assistants to interact with Notion's API, providing tools for reading, creating, and modifying Notion content through natural language interactions.

ai_chatbot
mcp

mcp

4.2

by magicuidesign

Official ModelContextProtocol (MCP) server for Magic UI.

developer_tools
mcp-reasoner

mcp-reasoner

4.2

by Jacck

MCP Reasoner is a reasoning implementation for Claude Desktop that enhances complex problem-solving using Beam Search and Monte Carlo Tree Search (MCTS).

developer_tools
mcp-atlassian

mcp-atlassian

4.2

by sooperset

Model Context Protocol (MCP) server for Atlassian products (Confluence and Jira). This integration supports both Confluence & Jira Cloud and Server/Data Center deployments.

cloud_platforms
mcp-language-server

mcp-language-server

4.2

by isaacphi

The MCP Language Server is a server that facilitates the integration of language servers with Model Context Protocol (MCP) enabled clients, providing enhanced code navigation and semantic tools.

developer_tools