Install and write Faber Romanus

Faber Romanus is an experimental statically typed language designed to be written by language models and read by people ([faberlang.dev](https://faberlang.dev)). It is type-first, its grammar is mechanical, and one source file uses one reader locale. The open-core compiler lives at [github.com/faberlang/faber](https://github.com/faberlang/faber) under MIT OR Apache-2.0. The language is experimental through 1.x: breaking changes ship in minor releases. Current release archives publish a `faber` binary for macOS arm64 and Linux x64 only.

This catalog entry wraps the official agent skills. Do not invent install URLs, spelling rules, or CLI flags from memory. The live skill catalog is https://faberlang.dev/.well-known/agent-skills/index.json; those four `SKILL.md` files are indexed from https://faberlang.dev/llms.txt. Fetch the official files when you need current archive names, checksums, or writing rules.

## How an agent should use the official skills

1. **install** — Fetch https://faberlang.dev/.well-known/agent-skills/install/SKILL.md first. It names the current CLI release, the two published archives (`aarch64-apple-darwin` and `x86_64-unknown-linux-gnu`), SHA-256 verification, and PATH placement of `bin/faber`. The archive ships one file; reader packs and the Norma standard library are built into the binary. Verify the downloaded archive against its published SHA-256 before executing any archive contents; stop on a mismatch. Prove the install with `faber –version` and `faber explain SEM001`, then run the first-program check below. On any other platform, stop and tell the human. Prefer prebuilts. `cargo build –release -p faber` from the open-source repo builds the compiler front end and MIR runner; release binaries also include the target code generators, which are not in that repository.

2. **language** — Fetch https://faberlang.dev/.well-known/agent-skills/language/SKILL.md for the English reader spelling. Start at the agent canon https://faberlang.dev/agents/index.md and follow only the links that page names. Meaning lives in HIR; a reader locale is a rendering of that core. English signals include type-first declarations (`string name`, `int n`), `fn name(int a) → int`, bind `←`, equality `≡`, `return`, nullable `int ∪ none` (the missing value is `null`), and comments as a `#` line by itself. Do not write `name: T`, `int?`, `//`, or a `#` after code on the same line.

3. **packages** — Fetch https://faberlang.dev/.well-known/agent-skills/packages/SKILL.md to scaffold and drive packages. `faber init` writes `faber.toml` and `src/main.fab`. Use `faber check` for the front-end type-check loop (lex, parse, type check without building a native binary), `faber run` to interpret, `faber build` to compile (for example `-t rust`), `faber test` for proba suites, `faber format` (add `–write` to apply), and `faber explain ` for stable diagnostic codes. `norma:*` resolves from the library embedded in the binary; other libraries resolve from the Cista package store recorded in `faber.lock`. Pass `–library-home` only for an intentional local override.

faber_check_dir=$(mktemp -d)
printf 'main {n    print "Hello, world!"n}n' > "$faber_check_dir/hello.fab"
faber check "$faber_check_dir/hello.fab" && faber run "$faber_check_dir/hello.fab"

clawhub install install-and-write-faber-romanus

git clone https://github.com/agentskillexchange/skills.git
skill_root="$HOME/.agent-skills"
mkdir -p "$skill_root"
if [ -e "$skill_root/install-and-write-faber-romanus" ] || [ -L "$skill_root/install-and-write-faber-romanus" ]; then
  echo "Destination exists; review it before replacing the skill."
else
  cp -R skills/skills/install-and-write-faber-romanus "$skill_root/"
fi

npm exec --package=skills@1.5.7 -- skills add agentskillexchange/skills --skill install-and-write-faber-romanus