Deed
Contract-first programming language with a local MCP server for checking types, effects, capabilities, and contracts in agent-written modules. Its review tool compares before and after source sets and returns receipts for new authority, weaker promise tiers, and new Guarded runtime obligations.
Setup details
This source describes a project but provides no normalized endpoint or package identifier. Follow its source listing for setup instructions.
Sources and provenance
- Glama source codeOfficial · Observed
Grouping basis: listing. Exact endpoints or package sets can be grouped automatically; other relationships require evidence review. This does not verify publisher affiliation, connection health, or equivalent capabilities.