szeider / mcp-solverLinks
Model Context Protocol (MCP) server for constraint optimization and solving"
☆135Updated 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
Sorting:
- Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claud…☆34Updated 5 months ago
- A better way of testing, inspecting, and analyzing AI Agent traces.☆40Updated last week
- Grep source code and see useful code context about matching lines☆275Updated 5 months ago
- LLMap solves context extraction for large codebases☆109Updated 7 months ago
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆73Updated 3 months ago
- multilspy is a lsp client library in Python intended to be used to build applications around language servers.☆454Updated last month
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆66Updated 2 months ago
- SWE-Bench Pro: Can AI Agents Solve Long-Horizon Software Engineering Tasks?☆181Updated this week
- Using Large Language Models for Repo-wide Type Prediction☆112Updated last year
- ☆81Updated last month
- A Text-Based Environment for Interactive Debugging☆272Updated this week
- A framework for optimizing DSPy programs with RL☆191Updated this week
- A lightweight code assistant with tool-using capabilities built on HuggingFace's smolagents.☆38Updated 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…☆79Updated 9 months ago
- Augment Swarm with durable execution to help you build reliable and scalable multi-agent systems.☆108Updated 11 months ago
- Sandboxed code execution for AI agents, locally or on the cloud. Massively parallel, easy to extend. Powering SWE-agent and more.☆327Updated this week
- Metadspy: The framework for specifying—not programming—language models☆88Updated 3 months ago
- A MCP server for symbolic manipulation of mathematical expressions☆40Updated 3 months ago
- Enriched Python function call graphs for agents and coding assistants☆120Updated 3 months ago
- LLMProc: Unix-inspired runtime that treats LLMs as processes.☆33Updated 2 months ago
- ☆43Updated 3 months ago
- A multi-agent LLM system for detecting and resolving cognitive dissonance.☆267Updated last month
- Browser extension to enable MCP in claude.ai☆100Updated 3 months ago
- anything you want can be built with morph cloud☆23Updated 5 months ago
- Open Source Tools for Multi-Stage AI Software Dev☆47Updated this week
- Cerebrum: Agent SDK for AIOS☆95Updated 3 weeks ago
- A Python framework for building AI agent systems with robust task management in the form of a graph execution engine, inference capabilit…☆31Updated 3 months ago
- Parallel Reasoning: llm-consortium orchestrates mulitple LLMs, iteratively refines & achieves consensus.☆367Updated this week
- ☆33Updated 2 months ago
- ☆78Updated this week