标签：自动化编程

MCP Solver是一个约束求解服务器，支持SAT、MaxSAT、SMT、CP、ASP和DP等多种求解技术，通过连接LLM主机实现求解程序的自动编写和验证。

CODESYS MCP工具包是一个用于CODESYS V3编程环境的模型上下文协议服务器，支持通过脚本引擎自动化项目管理、POU创建、代码编辑和编译任务。

MCP-Booster是一款智能AI开发助手，通过持续推理系统、自动化执行和自验证功能提升开发效率，适用于从初级到高级开发者的各类开发场景。

用于构建和优化AI代理的工程化框架，通过闭环验证机制提升代理在编程、科研、运营等领域的可靠性

一个通过Slack触发Codex CLI执行的自动化工具，能够在Slack线程中接收请求并自动执行代码修改、测试和提交PR。

Roo Code是一个开源的自主AI代理，旨在以最少的人工输入编写、调试和演进软件系统，适用于复杂项目的自动化编码和调试。

将MCP与Copilot集成以实现开发效率提升的自定节奏练习。