"author:deed-lang" matching MCP servers:

• 

  Deedofficial

  deed-lang

  A

  license

  -

  quality

  B

  maintenance

  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.

  Updated 5 hours ago (2026-08-14 11:05 UTC)

  7

  7

  Apache 2.0