deed-lang

Contract-first programming language with a local MCP server for checking types, effects, capabilities, and contracts in agent-written modules. Its review tool c

Contract-first programming language and local MCP server for checking types, effects, capabilities, and contracts in agent-written modules. Its review tool comp