MCP server · source category: Developer Tools
deed-lang/deed
Contract-first programming language and local MCP server for checking types, effects, capabilities, and contracts in agent…
Contract-first programming language and 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 machine-readable receipts for new authority, weaker promise tiers, and new Guarded runtime obligations. Install: cargo install deed-lang; run deed mcp.
Record
- Type
- MCP server
- Category
- Developer Tools
- Authentication
- No authentication
- Pricing
- Free
- Documentation
- https://github.com/deed-lang/deed
- Repository
- https://github.com/deed-lang/deed
Fields are reproduced from the source registry as-is. “Unknown” means the source did not describe the field — it is not an inference. See the methodology for how records are collected and normalised.
Similar MCP servers in Developer Tools
- 20000419/fauxnix bash for AI agents on Windows via deterministic bash→PowerShell translation — no WSL, VM, or bash toolchain. MCP bash tool with…
- 2ools/mcp-server Turn what your assistant just built into a durable, versioned project. One free authless tool (createpublicpreview) re…
- 3KniGHtcZ/codebeamer-mcp Codebeamer ALM integration for managing work items, trackers, and projects. Provides 17 tools for reading and writing item…
- a-25/ios-mcp-code-quality-server iOS code quality analysis and test automation server. Provides comprehensive Xcode test execution, SwiftLint integration, and de…
- AaronVick/ECHORIFTMCP MCP server for EchoRift infrastructure primitives (BlockWire, CronSynth, Switchboard, Arbiter). Makes EchoRift's agent infrastructu…
- Adityaaery20/media-mcp Local image and video processing MCP server with 13 tools for resize, convert, compress, crop, thumbnail, metadata extract…
Browse all Developer Tools MCP servers.