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.

Tools

Functions exposed to the LLM to take actions

solve_constraint_problem

Solves a constraint satisfaction problem with a full Problem model.

analyze_relationships

Analyzes relationships between entities with a full RelationshipQuery model.

simple_constraint_solver

A simpler interface for solving constraint problems without requiring the full Problem model.

simple_relationship_analyzer

A simpler interface for analyzing relationships without requiring the full RelationshipQuery model.

Prompts

Interactive templates invoked by user choice

No prompts

Resources

Contextual data attached and managed by the client

No resources

Related MCP Servers

View all developer_tools servers →

claude-task-master

by eyaltoledano

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

mcp-server-chart

by antvis

A Model Context Protocol server for generating charts using AntV.

research_and_data

Sequential Thinking

by modelcontextprotocol

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

research_and_data

mcpdoc

by langchain-ai

MCP LLMS-TXT Documentation Server provides a structured way to manage and retrieve LLM documentation using the Model Context Protocol.

developer_tools

n8n-workflow-builder

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

by e2b-dev

The E2B MCP Server enables code interpreting capabilities for the Claude Desktop app using the E2B Sandbox.

developer_tools

mcp-sequentialthinking-tools

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

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

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-neovim-server

by bigcodegen

Connect Claude Desktop (or any Model Context Protocol client) to Neovim using MCP and the official neovim/node-client JavaScript library.

developer_tools

mcp-taskmanager

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

repomix

by yamadashy

Repomix is a tool that packs your codebase into AI-friendly formats, making it easier to use with AI tools like LLMs.

developer_tools

mcp-montano-server

by lucasmontano

MCP Montano Server is a TypeScript-based server project designed to work with Node.js and npm, providing a robust environment for developing and deploying applications.

developer_tools

f2c-mcp

by f2c-ai

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

developer_tools

whois-mcp

by bharathvaj-ganesan

The Whois MCP server allows AI agents to perform WHOIS lookups to retrieve domain details.

research_and_data

osp_marketing_tools

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.

mcp-svelte-docs

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-reddit

by adhikasp

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

entertainment_and_media

docker-mcp

by QuantGeekDev

A powerful Model Context Protocol (MCP) server for Docker operations, enabling seamless container and compose stack management through Claude AI.

developer_tools

mcp-git-ingest

by adhikasp

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

developer_tools

duckduckgo-mcp-server

by nickclyde

A Model Context Protocol (MCP) server that provides web search capabilities through DuckDuckGo, with additional features for content fetching and parsing.

browser_automation

dev-mcp

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

by grafana

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

mcp

by magicuidesign

Official ModelContextProtocol (MCP) server for Magic UI.

developer_tools

figma-mcp

by MatthewDailey

A ModelContextProtocol server that enables AI assistants to interact with Figma files.

developer_tools

mcp-language-server

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

jinni

by smat-dev

Jinni is a tool designed to efficiently provide Large Language Models (LLMs) with the context of your projects by consolidating relevant project files.

developer_tools