szeider / mcp-solverLinks
Model Context Protocol (MCP) server for constraint optimization and solving"
☆137Updated 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…☆34Updated 6 months ago
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆74Updated 4 months ago
- A better way of testing, inspecting, and analyzing AI Agent traces.☆40Updated last week
- Building on Anthropic's Circuit Tracer, Neuronpedia, Ameisen et al. (2025) and Lindsey et al. (2025), we attempt to extend the paradigm w…☆55Updated 2 months ago
- A Text-Based Environment for Interactive Debugging☆275Updated this week
- 🧠 Advanced Claude streaming interface with interleaved thinking, dynamic tool discovery, and MCP integration. Watch Claude think through…☆178Updated 4 months ago
- Metadspy: The framework for specifying—not programming—language models☆88Updated 4 months ago
- LLMap solves context extraction for large codebases☆110Updated 8 months ago
- Letting Claude Code develop his own MCP tools :)☆123Updated 7 months ago
- Context Engineering Course with DSPy☆198Updated 3 months ago
- Managed Agent Posttraining☆48Updated this week
- multilspy is a lsp client library in Python intended to be used to build applications around language servers.☆463Updated last month
- Augment Swarm with durable execution to help you build reliable and scalable multi-agent systems.☆110Updated 11 months ago
- Browser extension to enable MCP in claude.ai☆102Updated 4 months ago
- A multi-agent LLM system for detecting and resolving cognitive dissonance.☆268Updated 2 weeks ago
- A lightweight code assistant with tool-using capabilities built on HuggingFace's smolagents.☆39Updated 4 months ago
- An in-depth book and reference on building agentic systems like Claude Code☆226Updated 4 months ago
- Pure Rust implementation of MCP server for headless terminal☆188Updated last week
- Shared Memory Storage for Multi-Agent Systems☆128Updated 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 10 months ago
- Sandboxed code execution for AI agents, locally or on the cloud. Massively parallel, easy to extend. Powering SWE-agent and more.☆349Updated this week
- A SQL-like language for efficient code analysis and transformations☆35Updated 9 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆66Updated 3 months ago
- Transform Claude Code transcript JSONL files into readable terminal and HTML formats.☆46Updated 2 months ago
- anything you want can be built with morph cloud☆24Updated 2 weeks ago
- An MCP server for loading skills (shim for non-claude clients).☆116Updated this week
- DSPy module for OpenAI Codex SDK - signature-driven agentic workflows☆124Updated this week
- MCP (Model Context Protocol) server for Weaviate☆155Updated 5 months ago
- Agent computer interface for AI software engineer.☆110Updated last month
- LLMProc: Unix-inspired runtime that treats LLMs as processes.☆33Updated 3 months ago