szeider / mcp-solverLinks
Model Context Protocol (MCP) server for constraint optimization and solving"
☆118Updated 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…☆32Updated 5 months ago
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆70Updated 3 months ago
- A better way of testing, inspecting, and analyzing AI Agent traces.☆40Updated 2 months ago
- A Text-Based Environment for Interactive Debugging☆265Updated this week
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆66Updated 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…☆78Updated 9 months ago
- Letting Claude Code develop his own MCP tools :)☆121Updated 6 months ago
- a Python library that uses Reinforcement Learning (RL) to train LLMs.☆41Updated last month
- anything you want can be built with morph cloud☆23Updated 4 months ago
- A prompting library☆177Updated 2 months ago
- Using Large Language Models for Repo-wide Type Prediction☆110Updated last year
- ReDel is a toolkit for researchers and developers to build, iterate on, and analyze recursive multi-agent systems. (EMNLP 2024 Demo)☆85Updated last week
- Sandboxed code execution for AI agents, locally or on the cloud. Massively parallel, easy to extend. Powering SWE-agent and more.☆315Updated this week
- Browser extension to enable MCP in claude.ai☆99Updated 3 months ago
- DevQualityEval: An evaluation benchmark 📈 and framework to compare and evolve the quality of code generation of LLMs.☆179Updated 4 months ago
- FACT – Fast Augmented Context Tools: FACT is a lean retrieval pattern that skips vector search. We cache every static token inside Claude…☆113Updated last month
- A tiny 1000 line implementation of GraphRAG in Python☆87Updated 2 weeks ago
- Building on Anthropic's Circuit Tracer, Neuronpedia, Ameisen et al. (2025) and Lindsey et al. (2025), we attempt to extend the paradigm w…☆46Updated last month
- Metadspy: The framework for specifying—not programming—language models☆88Updated 3 months ago
- Demo of knowledge graph creation and Graph RAG with BAML and Kuzu☆71Updated this week
- 🧠 Advanced Claude streaming interface with interleaved thinking, dynamic tool discovery, and MCP integration. Watch Claude think through…☆181Updated 3 months ago
- This repository contains popular code generation frameworks such as MapCoder, CodeSIM.☆58Updated 2 months ago
- A python repl for MCP☆28Updated 8 months 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
- ☆34Updated 6 months ago
- LLMap solves context extraction for large codebases☆110Updated 6 months ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆70Updated 8 months ago
- Leveraging DSPy for AI-driven task understanding and solution generation, the Self-Discover Framework automates problem-solving through r…☆70Updated last year
- explore token trajectory trees on instruct and base models☆132Updated 3 months ago
- Transform Claude Code transcript JSONL files into readable terminal and HTML formats.☆40Updated 3 weeks ago