szeider / mcp-solverLinks
Model Context Protocol (MCP) server for constraint optimization and solving"
☆93Updated 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:
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆62Updated last month
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆63Updated last week
- Contains the prompts we use to talk to various LLMs for different utilities inside the editor☆79Updated last year
- Letting Claude Code develop his own MCP tools :)☆114Updated 4 months ago
- Using Large Language Models for Repo-wide Type Prediction☆109Updated last year
- A better way of testing, inspecting, and analyzing AI Agent traces.☆39Updated last week
- Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claud…☆29Updated 2 months ago
- Run AI generated code in isolated sandboxes☆88Updated 5 months ago
- LLMap solves context extraction for large codebases☆99Updated 4 months ago
- A novel approach for transformer model introspection that enables saving, compressing, and manipulating internal thought states for advan…☆22Updated 3 months ago
- Sandboxed code execution for AI agents, locally or on the cloud. Massively parallel, easy to extend. Powering SWE-agent and more.☆242Updated last week
- code☆22Updated 2 months ago
- This repo tracks the opened and merged PRs by the top SWE coding agents by OpenAI, GitHub, and others. Updates every 3 hours.☆189Updated last week
- OmniMCP uses Microsoft OmniParser and Model Context Protocol (MCP) to provide AI models with rich UI context and powerful interaction cap…☆50Updated 3 months ago
- A python repl for MCP☆24Updated 6 months ago
- Browser extension to enable MCP in claude.ai☆90Updated 3 weeks ago
- An AI agent library using Python as the common language to define executable actions and tool interfaces.☆83Updated last week
- Agent computer interface for AI software engineer.☆88Updated 2 weeks ago
- Augment Swarm with durable execution to help you build reliable and scalable multi-agent systems.☆100Updated 8 months ago
- Let Claude control a web browser on your machine.☆34Updated last month
- A Text-Based Environment for Interactive Debugging☆234Updated this week
- Pivotal Token Search☆109Updated this week
- Harness used to benchmark aider against SWE Bench benchmarks☆72Updated last year
- Pure Rust implementation of MCP server for headless terminal☆149Updated last week
- Multi-language code navigation API in a container☆84Updated 2 weeks ago
- Conduct in-depth research with AI-driven insights : DeepDive is a command-line tool that leverages web searches and AI models to generate…☆42Updated 10 months ago
- Editor with LLM generation tree exploration☆71Updated 5 months ago
- Open Agent Computer Interface☆75Updated 7 months ago
- Coding problems used in aider's polyglot benchmark☆152Updated 6 months ago
- anything you want can be built with morph cloud☆19Updated 2 months ago