szeider / mcp-solverLinks
Model Context Protocol (MCP) server for constraint optimization and solving"
☆86Updated 2 weeks ago
Alternatives and similar repositories for mcp-solver
Users that are interested in mcp-solver are comparing it to the libraries listed below
Sorting:
- Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claud…☆26Updated 2 months ago
- A better way of testing, inspecting, and analyzing AI Agent traces.☆38Updated 3 weeks ago
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆36Updated 9 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆63Updated 3 months ago
- Reproduction Package for the paper "back arrowBack to Author Console Type-Constrained Code Generation with Language Models" [PLDI 2025]☆55Updated 2 weeks ago
- anything you want can be built with morph cloud☆18Updated last month
- ☆38Updated 2 months ago
- Not just another MCP filesystem. Optimized file operations with smart context management and token-efficient partial reading/editing. Pro…☆34Updated 3 months ago
- Browser extension to enable MCP in claude.ai☆88Updated last week
- A python repl for MCP☆22Updated 5 months ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆64Updated 5 months ago
- Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents☆124Updated last year
- Connect your chat repl to wolfram alpha computational intelligence☆43Updated 5 months ago
- Model Context Protocol (MCP) server implementation using Google OR-Tools for constraint solving☆12Updated 6 months ago
- ☆46Updated 3 months ago
- Letting Claude Code develop his own MCP tools :)☆113Updated 3 months ago
- A powerful Model Context Protocol (MCP) server that manages and serves programming guidelines and rules. This server integrates with deve…☆19Updated 5 months ago
- Dockerized MCP Server to allow your AI agent to access any API with existing api docs☆92Updated 2 months ago
- Contains the prompts we use to talk to various LLMs for different utilities inside the editor☆78Updated last year
- An AI assistant that remembers and sets goals☆27Updated last week
- The Prime Intellect CLI provides a powerful command-line interface for managing GPU resources across various providers☆29Updated last month
- OmniMCP uses Microsoft OmniParser and Model Context Protocol (MCP) to provide AI models with rich UI context and powerful interaction cap…☆49Updated 2 months ago
- Python client library for https://mcp.run - call portable & secure tools for your AI Agents and Apps☆21Updated last month
- A daemon that makes a desktop OS accessible to AI agents☆30Updated 3 weeks ago
- ☆36Updated this week
- Allows Aider to use CEDARScript as an edit format☆29Updated 6 months ago
- ☆36Updated last month
- A library for benchmarking the Long Term Memory and Continual learning capabilities of LLM based agents. With all the tests and code you…☆73Updated 6 months ago
- MCP server to manage letta server and comunicate with agents☆21Updated this week
- Let Claude control a web browser on your machine.☆32Updated 3 weeks ago