szeider / mcp-solverLinks
Model Context Protocol (MCP) server for constraint optimization and solving"
☆81Updated this week
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…☆24Updated last month
- ☆49Updated 3 weeks ago
- A better way of testing, inspecting, and analyzing AI Agent traces.☆37Updated this week
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆64Updated 4 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆62Updated 3 months ago
- Contains the prompts we use to talk to various LLMs for different utilities inside the editor☆78Updated last year
- Not just another MCP filesystem. Optimized file operations with smart context management and token-efficient partial reading/editing. Pro…☆29Updated 2 months ago
- Let Claude control a web browser on your machine.☆29Updated 3 months ago
- MCP server to manage letta server and comunicate with agents☆20Updated this week
- Speech MCP: A Goose MCP extension for voice interaction with audio visualization☆43Updated 3 weeks ago
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆35Updated 8 months ago
- Letting Claude Code develop his own MCP tools :)☆105Updated 2 months ago
- OmniMCP uses Microsoft OmniParser and Model Context Protocol (MCP) to provide AI models with rich UI context and powerful interaction cap…☆43Updated last month
- Run AI generated code in isolated sandboxes☆74Updated 4 months ago
- anything you want can be built with morph cloud☆12Updated last month
- ☆83Updated last month
- ReDel is a toolkit for researchers and developers to build, iterate on, and analyze recursive multi-agent systems. (EMNLP 2024 Demo)☆78Updated 2 months ago
- Agent computer interface for AI software engineer.☆80Updated this week
- LLM-based mutation testing☆11Updated 4 months ago
- An MCP server that hosts finite state machines as dynamic resources that multiple clients can subscribe to and be updated when their stat…☆14Updated 2 weeks ago
- ☆110Updated 3 months ago
- A library for benchmarking the Long Term Memory and Continual learning capabilities of LLM based agents. With all the tests and code you…☆72Updated 5 months ago
- A microVM for LLMs and humans☆29Updated last year
- Official Repo for The Paper "Talk Structurally, Act Hierarchically: A Collaborative Framework for LLM Multi-Agent Systems"☆51Updated 3 months ago
- Sandboxed code execution for AI agents, locally or on the cloud. Massively parallel, easy to extend. Powering SWE-agent and more.☆204Updated last week
- Framework for creating reliable LLM-based conversational agents☆42Updated last week
- A SQL-like language for efficient code analysis and transformations☆35Updated 4 months ago
- ☆35Updated 2 months ago
- A TypeScript-based MCP-server tool enabling concurrent chains of thought with real-time reinforcement learning. Seamlessly integrates wit…☆14Updated 2 months ago
- Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents☆123Updated 11 months ago