szeider / mcp-solverLinks
Model Context Protocol (MCP) server for constraint optimization and solving"
☆103Updated last month
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…☆29Updated 3 months ago
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆68Updated last month
- Browser extension to enable MCP in claude.ai☆95Updated last month
- anything you want can be built with morph cloud☆20Updated 3 months ago
- Letting Claude Code develop his own MCP tools :)☆122Updated 4 months ago
- MCP server to manage letta server and comunicate with agents☆25Updated last week
- A better way of testing, inspecting, and analyzing AI Agent traces.☆39Updated 3 weeks ago
- 🧠 Advanced Claude streaming interface with interleaved thinking, dynamic tool discovery, and MCP integration. Watch Claude think through…☆177Updated last month
- Coding problems used in aider's polyglot benchmark☆162Updated 7 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…☆76Updated 7 months ago
- Let Claude control a web browser on your machine.☆36Updated 2 months ago
- LLMap solves context extraction for large codebases☆107Updated 5 months ago
- LLM-based mutation testing☆11Updated 6 months ago
- CLI that uses DSPy to interact with MCP servers.☆22Updated 4 months ago
- A Text-Based Environment for Interactive Debugging☆250Updated this week
- A SQL-like language for efficient code analysis and transformations☆35Updated 6 months ago
- ☆47Updated 4 months ago
- Augment Swarm with durable execution to help you build reliable and scalable multi-agent systems.☆102Updated 9 months ago
- Using Large Language Models for Repo-wide Type Prediction☆111Updated last year
- Metadspy: The framework for specifying—not programming—language models☆88Updated last month
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆64Updated last week
- This repository contains popular code generation frameworks such as MapCoder, CodeSIM.☆56Updated last month
- This tool is a cutting-edge memory engine that blends real-time learning, persistent three-tier context awareness, and seamless plug-n-pl…☆65Updated last week
- ElizaOS agent powered by Knowledge Graph memories. Based on the ElizaOS plugin enabling integration with the OriginTrail Decentralized Kn…☆35Updated 2 months ago
- Multi-language code navigation API in a container☆84Updated last month
- ReDel is a toolkit for researchers and developers to build, iterate on, and analyze recursive multi-agent systems. (EMNLP 2024 Demo)☆83Updated 4 months ago
- Pure Rust implementation of MCP server for headless terminal☆165Updated this week
- Sandboxed code execution for AI agents, locally or on the cloud. Massively parallel, easy to extend. Powering SWE-agent and more.☆273Updated last week
- a Python library that uses Reinforcement Learning (RL) to train LLMs.☆38Updated this week
- Harness used to benchmark aider against SWE Bench benchmarks☆72Updated last year