{"server":{"id":"deed-lang-deed-40f809544608","name":"deed-lang/deed","title":"deed-lang/deed","description":"Contract-first programming language: check types, effects, capabilities and contracts in agent-written modules and review changes for new authority.","category":"Development","transport":"Local","pricing":"Unknown","website":"https://github.com/deed-lang/deed","repository":"https://github.com/deed-lang/deed","version":"0.2.13","manifest":"{\"name\":\"io.github.deed-lang/deed\",\"version\":\"0.2.13\",\"repository\":{\"url\":\"https://github.com/deed-lang/deed\"},\"remotes\":[],\"packages\":[{\"registryType\":\"cargo\",\"identifier\":\"deed-lang\",\"version\":\"0.2.13\",\"transport\":{\"type\":\"stdio\"},\"environmentVariables\":[]}]}","sourceName":"punkpeye/awesome-mcp-servers","sourceUrl":"https://github.com/punkpeye/awesome-mcp-servers","status":"approved","seoTitle":"deed-lang/deed MCP server","seoDescription":"Contract-first programming language: check types, effects, capabilities and contracts in agent-written modules and review changes for new authority.","createdAt":"2026-11-04T07:18:56.264Z","updatedAt":"2026-11-04T07:58:36.806Z"}}