A Python implementation of abstactions over the Z3 Theorem Prover capabilities using functional programming principles, exposed through a Model Context Protocol (MCP) server.
Z3 Theorem Prover with Functional Programming is an MCP project maintained in the javergar/z3_mcp repository. The maintainer describes its purpose as “A Python implementation of abstactions over the Z3 Theorem Prover capabilities using functional programming principles, exposed through a Model Context Protocol (MCP) server”. Read the project documentation for the complete scope.
Project documentation · Repository · Discovery listing. This profile records the public documentation checked on 2026-10-08.
Check the linked publisher documentation and your connected client's tool list. Names and availability can vary with the server version and account permissions.
| Tool | What it does |
|---|---|
| solve_constraint_problem |
메모짱 메모·할 일을 AI로 검색·정리·체크해요. / Search, write and check off notes and to-dos in Memozzang.
채팅으로 후잉 가계부를 관리하세요. 거래 입력·조회, 계정·예산 관리, 손익·재무 보고서를 지원합니다.
나라장터 낙찰정보서비스 Open API를 위한 로컬 MCP 서버
나라장터 사전규격정보서비스 Open API를 위한 로컬 MCP 서버
나라장터 입찰공고정보서비스(공공데이터포털 data.go.kr) Open API를 감싼 로컬 MCP 서버
나라장터 사용자정보서비스(공공데이터포털 data.go.kr) Open API를 감싼 로컬 MCP 서버