Back to skills
SkillHub ClubShip Full StackFull Stack
narya-hatchery
Narya Hatchery
Packaged view
This page reorganizes the original catalog entry around fit, installability, and workflow context first. The original raw source lives below.
Stars
10
Hot score
84
Updated
March 20, 2026
Overall rating
C3.5
Composite score
3.5
Best-practice grade
B78.7
Install command
npx @skill-hub/cli install plurigrid-asi-narya-hatchery
Repository
Best for
Primary workflow: Ship Full Stack.
Technical facets: Full Stack.
Target audience: everyone.
License: Unknown.
Original source
Catalog source: SkillHub Club.
Repository owner: plurigrid.
This is still a mirrored public skill entry. Review the repository before installing into production workflows.
What it helps with
- Install narya-hatchery into Claude Code, Codex CLI, Gemini CLI, or OpenCode workflows
- Review https://github.com/plurigrid/asi before adding narya-hatchery to shared team environments
- Use narya-hatchery for development workflows
Works across
Claude CodeCodex CLIGemini CLIOpenCode
Favorites: 0.
Sub-skills: 0.
Aggregator: No.
Original source / Raw SKILL.md
---
name: narya-hatchery
description: Narya Hatchery
version: 1.0.0
---
# Narya Hatchery
---
name: narya-hatchery
description: Higher-dimensional type theory proof assistant with observational Id/Bridge types, parametricity, and ProofGeneral integration.
trit: 0
color: "#3A71C0"
---
## Overview
**Narya** is a proof assistant implementing Multi-Modal, Multi-Directional, Higher/Parametric/Displayed Observational Type Theory.
## Core Features
- **Normalization-by-evaluation** algorithm and typechecker
- **Observational-style theory** with Id/Bridge types satisfying parametricity
- **Variable arity and internality** for bridge types
- **User-definable mixfix notations**
- **Record types, inductive datatypes, coinductive codatatypes**
- **Matching and comatching case trees**
- **Import/export and separate compilation**
- **Typed holes** with later solving
- **ProofGeneral interaction mode**
## Type Theory Features
### Bridge Types with Parametricity
```narya
-- Observational identity via bridges
bridge : (A : Type) → (x y : A) → Bridge x y → x ≡ y
```
### Higher-Dimensional Structure
Narya supports higher-dimensional type theory where:
- Types can have internal dimensions
- Parametricity is built into the type theory
- Bridge types generalize equality
## Gay.jl Integration
```julia
# Initialize with Narya's chromatic seed
gay_seed!(0xbfe738ce2e1c5f1f)
# P3 extension gamut learning
function loss(params, seed, target_gamut=:p3_extension)
color = forward_color(params, projection, seed)
return out_of_gamut_distance(color, target_gamut)
end
```
## Installation
```bash
# From source
git clone https://github.com/mikeshulman/narya
cd narya
dune build
```
## Documentation
- [Installation Guide](https://narya.readthedocs.io/en/latest/installation.html)
- [Full Documentation](https://narya.readthedocs.io/en/latest/)
- [Contributing](https://narya.readthedocs.io/en/latest/contributing.html)
## Repository
- **Source**: TeglonLabs/narya (fork of mikeshulman/narya)
- **Seed**: `0xbfe738ce2e1c5f1f`
- **Index**: 49/1055
- **Color**: #d6621c
## GF(3) Triad
```
proofgeneral-narya (-1) ⊗ narya-hatchery (0) ⊗ gay-mcp (+1) = 0 ✓
```
## Related Skills
- `proofgeneral-narya` - Emacs integration
- `holes` - Interactive proof development
- `move-narya-bridge` - Move contract verification