szeider / mcp-solverLinks
Model Context Protocol (MCP) server for constraint optimization and solving"
☆109Updated 2 months 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…☆31Updated 4 months ago
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆69Updated 2 months ago
- Cerebrum: Agent SDK for AIOS☆90Updated 2 months ago
- Using Large Language Models for Repo-wide Type Prediction☆111Updated last year
- anything you want can be built with morph cloud☆21Updated 3 months ago
- A SQL-like language for efficient code analysis and transformations☆35Updated 7 months ago
- A Text-Based Environment for Interactive Debugging☆256Updated last week
- OmniMCP uses Microsoft OmniParser and Model Context Protocol (MCP) to provide AI models with rich UI context and powerful interaction cap…☆57Updated 4 months ago
- Let Claude control a web browser on your machine.☆36Updated 2 months ago
- A better way of testing, inspecting, and analyzing AI Agent traces.☆40Updated last month
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆37Updated 11 months ago
- LLM-based mutation testing☆11Updated 6 months ago
- ☆48Updated 3 weeks ago
- ☆36Updated 3 weeks ago
- A python repl for MCP☆26Updated 7 months ago
- Letting Claude Code develop his own MCP tools :)☆121Updated 5 months ago
- Transform Claude Code transcript JSONL files into readable terminal and HTML formats.☆36Updated last week
- 🧠 Advanced Claude streaming interface with interleaved thinking, dynamic tool discovery, and MCP integration. Watch Claude think through…☆180Updated 2 months ago
- Browser extension to enable MCP in claude.ai☆97Updated 2 months ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆71Updated 7 months ago
- Qodo Commands Playbooks. Customize Qodo Command for your specific use case!☆84Updated 3 weeks ago
- ☆23Updated 9 months ago
- Sandboxed code execution for AI agents, locally or on the cloud. Massively parallel, easy to extend. Powering SWE-agent and more.☆286Updated last week
- Metadspy: The framework for specifying—not programming—language models☆88Updated 2 months ago
- Leveraging DSPy for AI-driven task understanding and solution generation, the Self-Discover Framework automates problem-solving through r…☆68Updated last year
- This repository contains popular code generation frameworks such as MapCoder, CodeSIM.☆56Updated 2 months ago
- ☆29Updated 4 months ago
- Speech MCP: A Goose MCP extension for voice interaction with audio visualization☆64Updated last week
- MCP server to manage letta server and comunicate with agents☆30Updated last week
- Contains the prompts we use to talk to various LLMs for different utilities inside the editor☆80Updated last year