Model Context Protocol (MCP) server for constraint optimization and solving"
☆187Oct 13, 2026Updated 3 weeks ago
Alternatives and similar repositories for mcp-solver
Users that are interested in mcp-solver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linu…☆47Aug 15, 2026Updated 2 months ago
- Optimize Z3 strategies for your problem!☆28Oct 20, 2026Updated 2 weeks ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆19Jul 9, 2026Updated 3 months ago
- A sound and complete solver for type inhabitation and unification in dependent type theory, written in 185 lines of Lean.☆12Sep 20, 2026Updated last month
- ☆12Jun 1, 2026Updated 5 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A digital circuit verification library for Lean4☆12Jul 29, 2026Updated 3 months ago
- A MCP server for symbolic manipulation of mathematical expressions☆85Oct 5, 2026Updated last month
- CP+SAT solver framework built to be reliable, performant, and extensible☆60Updated this week
- A model context protocol server for solving combinatorial optimization problems with logical and numerical constraints.☆64May 19, 2026Updated 5 months ago
- The Chuffed CP solver☆130Jul 31, 2026Updated 3 months ago
- Manipulate NNF (Negation Normal Form) logical sentences☆20Dec 13, 2022Updated 3 years ago
- This is a very basic implementation of an Mcp-Reasoning-Server for Cursor AI .☆13Mar 19, 2025Updated last year
- GUI for LLaDA Diffusion LLM with Quantization for low end GPU and CPU options. Now with Prototype Training and Vector DB.☆12Mar 11, 2025Updated last year
- Structured BVA☆46Apr 26, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 🗺️ ASP planning tools for PDDL☆31Jul 9, 2021Updated 5 years ago
- A hyperintensional theorem prover for rapidly prototyping modular semantic theories☆14Oct 15, 2026Updated 3 weeks ago
- SynthTL: Translating Natural Language to Temporal Logics with Large Language Models and Model Checkers☆12Sep 20, 2024Updated 2 years ago
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆15Updated this week
- XReason - formal reasoning about explanations for ML models☆18Sep 8, 2026Updated last month
- Refinement type checking and inference tool for Rust☆26Oct 28, 2026Updated last week
- A constraint programming solver with support for proof logging☆21Updated this week
- Tutorials and courses for Z3☆129Updated this week
- An MCP server allowing AI assistants to use a Neo4j knowledge graph as their primary, dynamic instruction manual and long term project me…☆21Dec 17, 2025Updated 10 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆78Nov 19, 2023Updated 2 years ago
- CaDiCaL SAT Solver☆629Updated this week
- Simply Typed Lambda Calculus with de Bruijn indices☆20Oct 9, 2026Updated 3 weeks ago
- A libary for using and learning symbolic rules for knowledge graphs☆45Dec 10, 2024Updated last year
- Yuck is a local-search constraint solver with FlatZinc interface☆64Sep 12, 2026Updated last month
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆12Jul 4, 2025Updated last year
- ☆17Updated this week
- A toy ELF parser/validator☆18Dec 18, 2024Updated last year
- ☆10Sep 16, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Pono: A flexible and extensible SMT-based model checker☆136Updated this week
- A metacircular lambda calculus evaluator with MCP surface and runtime tool composition.☆57Oct 20, 2025Updated last year
- CaDiCaL BackBone Analyzer☆12Oct 19, 2024Updated 2 years ago
- Rust Automated Theorem Proving library inspired by a text by John Harrison (WIP)☆23May 21, 2025Updated last year
- ☆15Jun 12, 2026Updated 4 months ago
- ☆22Apr 27, 2026Updated 6 months ago
- ☆17Updated this week