[{"id":"engine","kind":"surface","name":"the engine","title":"The Nika engine · one binary: check, run, trace","repo":"https://github.com/supernovae-st/nika","license":"AGPL-3.0-or-later","what":"The reference engine: one Rust binary that checks, prices, runs and traces workflow files.","how":"A file goes through `nika check` before anything runs: conformance, the DAG, model resolution, the cost envelope, secrets flow, permits. `nika run` executes with the boundary enforced by the process and writes a hash-chained trace; `nika trace verify` recomputes the chain. Everything the site claims is re-proven against this binary.","install":[{"text":"One line","code":"curl -fsSL https://nika.sh/install.sh | sh"},{"text":"or Homebrew","code":"brew install supernovae-st/tap/nika"},{"text":"then prove the seat","code":"nika doctor"}],"doors":[{"label":"install, walked through","href":"/install"},{"label":"the four verbs","href":"/language/verbs"},{"label":"the proof surfaces","href":"/how/proof"}],"external":[{"label":"releases","href":"https://github.com/supernovae-st/nika/releases"}]},{"id":"spec","kind":"surface","name":"the spec","title":"The Nika spec · the contract everything derives from","repo":"https://github.com/supernovae-st/nika-spec","license":"Apache-2.0","what":"The language specification: nine chapters, the JSON Schema, the canon counts, the template pack, the conformance suite.","how":"The envelope line is locked at v1 forever and evolves additively (the SQL / Dockerfile contract model); the reference engine versions separately. Everything countable on this site derives from the spec’s canon.yaml, never hand-typed, and every skeleton is conformance-gated upstream on every spec push.","install":[{"text":"Read it where it lives","code":"git clone https://github.com/supernovae-st/nika-spec"},{"text":"or walk the served projections below."}],"doors":[{"label":"the spec at a glance","href":"/language/spec"},{"label":"every language word","href":"/language"},{"label":"how the site tells the truth","href":"/truth"}]},{"id":"registry","kind":"surface","name":"the registry","title":"The Nika registry · share workflows, nothing on faith","repo":"https://github.com/supernovae-st/nika-registry","license":"Apache-2.0","what":"The npm-of-workflows: share workflow files as verified, content-pinned entries.","how":"Every entry is pinned to an exact source revision and re-proven by CI: hash, conformance oracle, engine certificate, advisories. The binary pulls with `nika run registry:owner/name`: cached, offline-capable, and the workflow’s own permits never govern the fetch. Never install an LLM-suggested name without resolving it there first.","install":[{"text":"Audit it first, always","code":"nika check registry:owner/name@version"},{"text":"Then run it","code":"nika run registry:owner/name@version"}],"doors":[{"label":"the chain of custody, taught","href":"/how/proof"},{"label":"the boundary that holds","href":"/how/boundary"}],"external":[{"label":"the machine index","href":"https://raw.githubusercontent.com/supernovae-st/nika-registry/main/index.json"}]},{"id":"client-sdk","kind":"surface","name":"the TypeScript client","title":"The Nika TS client · typed, zero-dependency, honest","repo":"https://github.com/supernovae-st/nika-client","license":"MIT","what":"A typed, zero-dependency TS client: drive the shipped binary today, target the future serve API without pretending.","how":"The /local module works TODAY against the binary: `check --json`, the `run --json` event stream, the dry-run plan object, `test`, `trace verify`, typed end to end. The root module targets the future `nika serve` HTTP API and says so plainly.","install":[{"text":"Install","code":"npm install @supernovae-st/nika-client"}],"doors":[{"label":"the machine catalogs it mirrors","href":"/map"},{"label":"the error codes it types","href":"/errors"}]},{"id":"audit-workflow","kind":"surface","name":"the site-audit, archived","title":"nika-site-audit · a full SEO audit as one file (frozen)","repo":"https://github.com/supernovae-st/nika-site-audit","license":"Apache-2.0","what":"A full SEO + GEO site audit as ONE workflow file: discover, crawl bounded, score deterministically, one narrated verdict. Archived on 2026-07-29 and kept public as evidence that a workflow ran at real scale against real websites.","how":"Ten tasks, five waves, and the diagram in its README is generated by `nika inspect --format mermaid`, not drawn by hand. It is read-only now: it was written in an earlier era and reading it teaches a dialect the engine has moved past. Deleting the evidence was never an option; advertising it as a starting point stopped being honest. Start from the template instead.","install":[{"text":"Start here instead, working from the first push","code":"gh repo create --template supernovae-st/nika-actions-starter"},{"text":"and the current grammar lives in the engine's examples/ and on docs.nika.sh."}],"doors":[{"label":"the template that works today","href":"/workflows/skeletons"},{"label":"the same patterns, taught","href":"/workflows/jobs"}]},{"id":"docs","kind":"surface","name":"the docs","title":"docs.nika.sh · the hand-held path","repo":"https://github.com/supernovae-st/nika-docs","license":"MIT","what":"The task-oriented documentation, built by Mintlify from a public source repo.","how":"A docs.json navigation plus .mdx pages; every merge to main deploys. The repo runs its own drift gate in CI so the docs never silently disagree with the shipped engine. This site is the reference register; the docs are the hand-held path.","install":[{"text":"Nothing to install. Read it live."}],"doors":[{"label":"learn, the short path","href":"/learn"},{"label":"this site’s own map","href":"/map"}],"external":[{"label":"docs.nika.sh","href":"https://docs.nika.sh"}]},{"id":"homebrew","kind":"surface","name":"the tap","title":"The Homebrew tap · one command, one binary","repo":"https://github.com/supernovae-st/homebrew-tap","license":"MIT","what":"The official Homebrew tap, tracking the latest tagged release.","how":"The formula pins the exact release and its checksums; `brew upgrade` follows the tags. The pin lives in Formula/nika.rb, never repeated in prose, because a repeated number is a number that rots.","install":[{"text":"Install","code":"brew install supernovae-st/tap/nika"}],"doors":[{"label":"every install path","href":"/install"}]},{"id":"website","kind":"surface","name":"this site","title":"nika.sh · the reference register, re-proven in CI","repo":"https://github.com/supernovae-st/nika.sh","license":"MIT","what":"nika.sh itself: every page a projection of pinned sources, every count derived, every claim re-proven in CI.","how":"The lens compiles one graph of the whole language and the coverage gates hold the site to it: every citable element owns a room, every register links its rooms, the machine twins (catalogs · schema · ontology · llms.txt) serve the same facts the pages render. The page that teaches the machinery also names what it does not cover yet.","install":[{"text":"You are here. Machines start at","code":"https://nika.sh/llms.txt"}],"doors":[{"label":"how this site tells the truth","href":"/truth"},{"label":"every page, one graph","href":"/map"}]}]

the city

Where every piece lives.

Nika is not one repository. The language is specified in one, the engine implements it in another, and this site is a projection of both, read at a commit it names out loud. Nothing here is a summary written by hand: each row points at the repo it describes and at the rooms on this site that come out of it.

8public reposeach with its own license
2clocksthe spec, the engine
v0.107.0the engine pinwhat the binary knows
6ac2935the spec pinwhat the language says

the two clocks

Every fact on this site hangs off one of them

They tick independently on purpose: the language is frozen at its v1 envelope and the engine versions on its own semver toward 1.0. A page that mixed the two clocks would have to lie about one of them. The envelope, whole →

the spec pin6ac29351a878 in nika-spec (Apache-2.0). Every chapter, every teaching step and every skeleton on this site is read at that exact commit with git show, never from a moving branch, and each one carries its own sha256 beside it. What a pin is →
the engine pinv0.107.0 (5d61b7e13f1f) in nika (AGPL-3.0-or-later). The whole catalog is vendored from that release and digest-verified: models, prices, energy, MCP servers, client coverage. What the binary knows →

the repos

One job each

The install command and the description in every room come from that repo's own README, never invented here. Each row lists the worlds on this site that project from it, so the claim is walkable.

the engineThe reference engine: one Rust binary that checks, prices, runs and traces workflow files. AGPL-3.0-or-later · the source
feeds The catalog · Error codes · Client coverage · The ship log
the specThe language specification: nine chapters, the JSON Schema, the canon counts, the template pack, the conformance suite. Apache-2.0 · the source
feeds The specification, chapter by chapter · The teaching path · Real jobs · Skeletons · Every word the language knows · The standard library
the registryThe npm-of-workflows: share workflow files as verified, content-pinned entries. Apache-2.0 · the source
feeds Send a workflow
the TypeScript clientA typed, zero-dependency TS client: drive the shipped binary today, target the future serve API without pretending. MIT · the source
feeds The TypeScript client
the site-audit, archivedA full SEO + GEO site audit as ONE workflow file: discover, crawl bounded, score deterministically, one narrated verdict. Archived on 2026-07-29 and kept public as evidence that a workflow ran at real scale against real websites. Apache-2.0 · the source
feeds The archived site audit
the docsThe task-oriented documentation, built by Mintlify from a public source repo. MIT · the source
feeds The docs
the tapThe official Homebrew tap, tracking the latest tagged release. MIT · the source
feeds Install
this sitenika.sh itself: every page a projection of pinned sources, every count derived, every claim re-proven in CI. MIT · the source
feeds The map · The truth system · The blog

Every page, one graph How this site tells the truth Get it into your stack