MCP server · source category: Developer Tools
no-materials/hird
Compiler-as-MCP-server for the Hirð language (typed actors and effect rows on the BEAM): type inference, definition lookup…
Compiler-as-MCP-server for the Hirð language (typed actors and effect rows on the BEAM): type inference, definition lookup, effect-row explanation, IR fragments, actor protocol and supervision graphs, and token-budget-aware symbol summaries, so agents query the compiler instead of reading source. Errors come back structured, so an agent can self-correct from tool output alone. cargo install --git https://github.com/no-materials/hird hird-mcp
Record
- Type
- MCP server
- Category
- Developer Tools
- Authentication
- API key
- Pricing
- Free
- Documentation
- https://github.com/no-materials/hird
- Repository
- https://github.com/no-materials/hird
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.