# Hirð

> Hirð — no-materials-hird. Use this tool when you need to analyze and understand the internals of Hirð language code, such as type inference and effect rows, to solve problems like code optimization and debugging. It provides inputs like code snippets and outputs like IR fragments, actor protocol graphs, and symbol summaries. Use Hirð for compiler introspection and development of typed actors on the BEAM.

Canonical page: https://skillsregistry.net/skills/no-materials-hird  
JSON: https://api.skillsregistry.net/v1/skills/no-materials-hird

## Description

Compiler introspection 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.

## Trust

- **Trust score (0–1):** 0.65
- **Verification tier:** scanned
- **Last scanned:** 2026-09-04

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** other
- **Updated:** 2026-09-04

## Source

- **Source listing:** [Glama](https://glama.ai/mcp/servers/jej3tq8eni)
- **Repository:** <https://github.com/no-materials/hird>

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "no-materials-hird"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/no-materials-hird` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/no-materials-hird/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt
