Contract-first programming language tools for agents: check types, effects, capabilities and contracts in agent-written modules.
Setup
This project documents no single launch command; follow its repository instructions.
Deed
deed-lang
Related
More- EEdictSowieduOfficialExposes the Edict compiler as MCP tools: agents submit programs as JSON ASTs that are type-, effect- and contract-checked.Developer Tools13 Repository stars
- AAxintAgentic EmpireOfficialChecks AI-written Swift before merge with Xcode-backed verdicts, fix packets and signed receipts for pull requests and CI.Developer ToolsLocal + remote18 Repository stars
- EEmpathy FrameworkSmart-AI-MemoryOfficialExposes workflows such as security audit, bug prediction, code review and test generation as tools, with local persistent memory.Developer Tools13 Repository stars
- CCovatesunflowerslwtechOfficialQuizzes developers on code their AI assistant just wrote and keeps a project-level debugging memory, with a hosted learning ledger at covate.org.Developer Tools8 Repository stars
- RReviewGateReviewGateOfficialReviews 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.Developer Tools
- CClaude Code MCPauchenbergExposes Claude Code capabilities over MCP for code generation and editing, review and analysis, and debugging.Developer Tools188 Repository stars