Contract-first programming language tools for agents: check types, effects, capabilities and contracts in agent-written modules.
接入配置
该项目没有提供统一的启动命令，请按源码仓库的说明安装。
相关推荐
更多- EEdictSowiedu官方Exposes the Edict compiler as MCP tools: agents submit programs as JSON ASTs that are type-, effect- and contract-checked.开发工具13 仓库星标
- AAxintAgentic Empire官方Checks AI-written Swift before merge with Xcode-backed verdicts, fix packets and signed receipts for pull requests and CI.开发工具本地 + 远程18 仓库星标
- EEmpathy FrameworkSmart-AI-Memory官方Exposes workflows such as security audit, bug prediction, code review and test generation as tools, with local persistent memory.开发工具13 仓库星标
- CCovatesunflowerslwtech官方Quizzes developers on code their AI assistant just wrote and keeps a project-level debugging memory, with a hosted learning ledger at covate.org.开发工具8 仓库星标
- RReviewGateReviewGate官方Reviews code changes against your team's written rules while the agent works, with an independent judge filtering findings; self-hosted with your own model key.开发工具
- CClaude Code MCPauchenbergExposes Claude Code capabilities over MCP for code generation and editing, review and analysis, and debugging.开发工具188 仓库星标