szeider / mcp-solver
Model Context Protocol (MCP) server for constraint optimization and solving"
☆69Updated 3 weeks 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…☆21Updated 3 weeks ago
- Contains the prompts we use to talk to various LLMs for different utilities inside the editor☆76Updated last year
- A better way of testing, inspecting, and analyzing AI Agent traces.☆35Updated this week
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆61Updated 2 months ago
- anything you want can be built with morph cloud☆12Updated last week
- Open Agent Computer Interface☆68Updated 5 months ago
- Browser extension to enable MCP in claude.ai☆72Updated last week
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆34Updated 8 months ago
- Letting Claude Code develop his own MCP tools :)☆99Updated 2 months ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆63Updated 3 months ago
- ReDel is a toolkit for researchers and developers to build, iterate on, and analyze recursive multi-agent systems. (EMNLP 2024 Demo)☆77Updated last month
- Using Large Language Models for Repo-wide Type Prediction☆109Updated last year
- llm plugin for Cerebras fast inference API☆25Updated 2 months ago
- Multi-language code navigation API in a container☆76Updated last week
- Run AI generated code in isolated sandboxes☆68Updated 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…☆70Updated 4 months ago
- AI conflict resolution framework designed to work alongside existing AI orchestration tools☆24Updated 4 months ago
- A Python framework for building AI agent systems with robust task management in the form of a graph execution engine, inference capabilit…☆24Updated last week
- A python repl for MCP☆15Updated 4 months ago
- Let Claude control a web browser on your machine.☆28Updated 2 months ago
- Editor with LLM generation tree exploration☆66Updated 3 months ago
- ☆21Updated 6 months ago
- ☆69Updated this week
- A tree-based prefix cache library that allows rapid creation of looms: hierarchal branching pathways of LLM generations.☆68Updated 3 months ago
- An AI assistant that remembers and sets goals☆22Updated 2 weeks ago
- MCP server to manage letta server and comunicate with agents☆16Updated last week
- A Model Context Protocol (MCP) server for ATLAS, a Neo4j-powered task management system for LLM Agents - implementing a three-tier archit…☆138Updated 2 weeks ago
- Leveraging DSPy for AI-driven task understanding and solution generation, the Self-Discover Framework automates problem-solving through r…☆60Updated 9 months ago
- Agent computer interface for AI software engineer.☆70Updated last week
- Conduct in-depth research with AI-driven insights : DeepDive is a command-line tool that leverages web searches and AI models to generate…☆41Updated 8 months ago