New: 98,000+ skills indexed from GitHub repos with 100+ stars · every skill safety-checkedBrowse top skillsTop skills
Esc to closeBrowse all skills
Submit a skillBrowse skills
Submit a skillBrowse skills

Agent skill

Update Builtin Docs

by illegalstudio in illegalstudio/elephc

Regenerate and audit Elephc's generated builtin documentation from the shared builtin contract plus builtin!

MITAuto-check passedDevelopment

Install Update Builtin Docs

skills CLI
$ npx skills add illegalstudio/elephc --skill update-builtin-docs -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install illegalstudio/elephc update-builtin-docs --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/illegalstudio/elephc.git skills-src && mkdir -p .claude/skills && cp -r skills-src/.claude/skills/update-builtin-docs .claude/skills/update-builtin-docs && rm -rf skills-src

Use ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.

Claude Code skills documentation · loads skills from .claude/skills/

Facts

Skill name
update-builtin-docs
GitHub stars
603
Token cost
~633 tokens
SKILL.md length
179 words
Files
2
Skills in repo
5
Repo updated
First seen
Licence
MIT

At a glance

Regenerate and audit Elephc's generated builtin documentation from the shared builtin contract plus builtin!

  • Works in 4 steps: Build the exporter that reads the shared… → Regenerate the JSON registries… → Run the docs audits used by CI → …
  • A change touches crates/elephc-builtin-contract
  • SKILL.md covers Workflow and Rules
  • Calls python3, git and cargo

What it does

Update Builtin Docs is an agent skill from illegalstudio/elephc. Regenerate and audit Elephc's generated builtin documentation from the shared builtin contract plus builtin! and evalbuiltin! backend bindings. Use when a change touches crates/elephc-builtin-contract, src/builtins, crates/elephc-magician/src/interpreter/builtins, builtin signatures, builtin lowering hooks, docs/php/builtins, docs/internals/builtins, scripts/docs/builtinregistry.json, or before opening a PR that changes PHP builtins.

Its SKILL.md is about 630 tokens, which your agent loads only when the skill is triggered. The skill folder holds 2 other files (for example `agents/openai.yaml`).

It sits in Development. It works with PHP. The repository describes itself as: A PHP-to-native compiler. Takes a subset of PHP - including eval() - and compiles it directly to native assembly, producing standalone binaries for macOS ARM64, Linux ARM64, and… The licence is MIT.

When your agent uses it

  • A change touches crates/elephc-builtin-contract
  • Crates/elephc-magician/src/interpreter/builtins
  • Builtin signatures
  • Builtin lowering hooks

Example prompts

  • “/update-builtin-docs”

Requirements

  • Python 3

Workflow steps

4 steps, taken from the first numbered list in SKILL.md.

  1. Build the exporter that reads the shared contract joined to the compiler's
  2. Regenerate the JSON registries (functions, plus classes and constants in
  3. Run the docs audits used by CI
  4. Inspect generated changes before reporting or committing

What it can do on your machine

Read from SKILL.md and the folder at commit 02c517b. It shows what the files ask for, not the result of running them.

  • Tool permissions

    Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.

    From allowed-tools in the SKILL.md frontmatter.

  • Runs code

    Shell commands in SKILL.md call:

    • python3
    • git
    • cargo

    From the folder's file list and the shell code blocks in SKILL.md.

  • Network

    No URLs in SKILL.md. Its commands use git, which can reach the network depending on how they are called.

    From URLs in SKILL.md, links to its own repository left out.

  • Credentials

    Names no API keys, tokens, secrets or passwords.

    From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Update Builtin Docs loads about 633 tokens when it runs. Until then it costs about 115 tokens; SKILL.md has 179 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~115
When it runs · the whole SKILL.md, loaded when a task matches
~633

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Auto-check passed

The automated check found no risky patterns in SKILL.md.

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

The full file from illegalstudio/elephc at commit 02c517b, republished under its MIT licence (© illegalstudio). 179 words, ~633 tokens.

Download SKILL.mdSave it as .claude/skills/update-builtin-docs/SKILL.md (or your agent's skills folder). This skill also uses 1 other file; get the full folder from GitHub.
name
update-builtin-docs
description
Regenerate and audit Elephc's generated builtin documentation from the shared builtin contract plus builtin! and eval_builtin! backend bindings. Use when a change touches crates/elephc-builtin-contract, src/builtins, crates/elephc-magician/src/interpreter/builtins, builtin signatures, builtin lowering hooks, docs/php/builtins, docs/internals/builtins, scripts/docs/builtin_registry.json, or before opening a PR that changes PHP builtins.

Update Builtin Docs

Run the same generated-docs workflow enforced by the builtins-docs-sync CI job. Use the repo root as the working directory.

Workflow

  1. Build the exporter that reads the shared contract joined to the compiler's builtin! and eval interpreter's eval_builtin! registries (an example target, so it can link the elephc-magician dev-dependency):
bash
cargo build --example gen_builtins --features curl
  1. Regenerate the JSON registries (functions, plus classes and constants in symbol_registry.json), the Markdown pages, the generated "Functions" blocks in the module pages, and the PHP comparison page:
bash
python3 scripts/docs/extract_builtins.py --render --force
python3 scripts/docs/gen_module_sections.py
python3 scripts/docs/gen_php_comparison.py
  1. Run the docs audits used by CI:
bash
python3 scripts/docs/audit_builtins.py
python3 scripts/docs/elephc_builtins/validate_site_compat.py
python3 scripts/audit_builtin_eir_boundary.py --enforce-target-architecture
  1. Inspect generated changes before reporting or committing:
bash
git status --short -- docs/php docs/internals/builtins scripts/docs/builtin_registry.json scripts/docs/symbol_registry.json
git diff --check

Rules

  • Treat crates/elephc-builtin-contract as the PHP-surface source of truth. Treat src/builtins/ (builtin!) and crates/elephc-magician/src/interpreter/builtins/ (eval_builtin!) as implementation bindings for the AOT and eval support dimensions respectively.
  • Do not hand-edit generated builtin pages to fix drift; fix the registry, lowering metadata, or scripts/docs/elephc_builtins/ generator inputs, then rerun the workflow.
  • If the user asked only for a sync check, also run:
bash
git diff --exit-code -- docs/php/builtins.md docs/php/builtins docs/internals/builtins scripts/docs/builtin_registry.json
  • If generated files changed, include those files in the same PR as the builtin change unless the user explicitly wants a separate docs-only follow-up.

© illegalstudio, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file

Files

SKILL.md and 1 other file in .claude/skills/update-builtin-docs of illegalstudio/elephc.

  • SKILL.md
  • agents/openai.yaml

Open the folder on GitHubat commit 02c517b

Compare with similar skills

Update Builtin Docs next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.

Update Builtin Docs compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Update Builtin Docs this skillillegalstudio/elephc603—~633Automated safety check: PassMIT
WooCommerce Code Reviewwoocommerce/woocommerce11k3 repos~1.1kAutomated safety check: PassCustom licence
Skill Doli Code ReviewDolibarr/dolibarr7.7k1 repos~1.1kAutomated safety check: PassMIT
Bug Triagesymfony/symfony31k—~1.9kAutomated safety check: PassMIT
Merge Upsymfony/symfony31k—~4kAutomated safety check: PassMIT
Wp Interactivity APIAutomattic/agent-skills2113 repos~1.5kAutomated safety check: PassNone

Similar skills

  • WooCommerce Code Review

    woocommerce/woocommerce

    Reviews WooCommerce code changes against the project's standards, flagging backend PHP architecture, naming, documentation, data integrity and testing violations.

    11k GitHub starsUsed in 3 repos~1.1k tokens
    DevelopmentAuto-check passed

  • Skill Doli Code Review

    Dolibarr/dolibarr

    Reviews Dolibarr PHP code for compliance with coding standards and security best practices, and fixes identified issues.

    7.7k GitHub starsUsed in 1 repo~1.1k tokens
    DevelopmentAuto-check passed

  • Bug Triage

    symfony/symfony

    Decide whether open Bug PRs target the correct branch. An agent skill from symfony/symfony.

    31k GitHub stars~1.9k tokensUpdated today
    DevelopmentAuto-check passed

  • Merge Up

    symfony/symfony

    Cascade-merge maintained Symfony branches from oldest to newest (e.g.

    31k GitHub stars~4k tokensUpdated today
    DevelopmentAuto-check passed

  • Wp Interactivity API

    Automattic/agent-skills

    A skill your agent uses when building or debugging WordPress Interactivity API features (data-wp- directives, @wordpress/interactivity store/state/actions, block viewScriptModule integration…

    211 GitHub starsUsed in 3 repos~1.5k tokens
    DevelopmentAuto-check passed

  • PR Merge

    symfony/symfony

    Merge a reviewed pull request the way the Symfony core team does: one --no-ff merge commit per PR, whose message archives the whole discussion, with the review gates checked first.

    31k GitHub stars~3.1k tokensUpdated today
    DevelopmentAuto-check passed

More from illegalstudio/elephc

  • Prepare Release Changelog

    illegalstudio/elephc

    Audit and prepare Elephc's numbered release changelog from the last published GitHub release through an exact candidate main SHA.

    603 GitHub stars~1.6k tokensUpdated today
    Auto-check passed

  • Analyze Using Rustrover

    illegalstudio/elephc

    Run RustRover IDE inspections on the codebase and produce a structured report of errors, warnings, and code quality issues.

    603 GitHub stars~932 tokensUpdated today
    Auto-check passed

  • Doc Update

    illegalstudio/elephc

    Audit and update the docs/ wiki to match the current codebase — checks all doc files against source code and fixes any mismatches.

    603 GitHub stars~2.2k tokensUpdated today
    Auto-check passed

  • Verify Release

    illegalstudio/elephc

    Pre-release verification that first requires a complete release-changelog audit, then checks README, docs, roadmap, test coverage, examples, and the full test suite for regressions.

    603 GitHub stars~2.5k tokensUpdated today
    Auto-check passed

Works with

Categories

Questions about Update Builtin Docs

What does Update Builtin Docs do?

Regenerate and audit Elephc's generated builtin documentation from the shared builtin contract plus builtin! Update Builtin Docs is an agent skill from illegalstudio/elephc. Regenerate and audit Elephc's generated builtin documentation from the shared builtin contract plus builtin!

When should I use Update Builtin Docs?

Update Builtin Docs fits situations like: A change touches crates/elephc-builtin-contract; crates/elephc-magician/src/interpreter/builtins; builtin signatures; builtin lowering hooks.

How do I install Update Builtin Docs in Claude Code?

Run `npx skills add illegalstudio/elephc --skill update-builtin-docs -a claude-code`. Or copy the skill folder (.claude/skills/update-builtin-docs in illegalstudio/elephc) into .claude/skills/update-builtin-docs in your project. Claude Code loads it when a task matches its description.

How do I install Update Builtin Docs in Codex?

Run `npx skills add illegalstudio/elephc --skill update-builtin-docs -a codex`. Or copy the skill folder (.claude/skills/update-builtin-docs in illegalstudio/elephc) into .agents/skills/update-builtin-docs in your project. Codex loads it when a task matches its description.

Can I use Update Builtin Docs in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add illegalstudio/elephc --skill update-builtin-docs -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/update-builtin-docs, .gemini/skills/update-builtin-docs, .github/skills/update-builtin-docs and .opencode/skills/update-builtin-docs in your project.

What does Update Builtin Docs need to run?

Going by SKILL.md and its folder, Update Builtin Docs needs the command-line tools its instructions call (python3, git and cargo). Our summary lists: Python 3.

Does Update Builtin Docs access the network?

SKILL.md contains no URLs. Its commands use git, which can reach the network depending on how they are called. This is read from the text; nothing was executed.

Is Update Builtin Docs safe to install?

Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.

What licence does Update Builtin Docs use?

Update Builtin Docs is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.

How many tokens does Update Builtin Docs use?

About 633 tokens (SKILL.md is roughly 2.5k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.

What are the alternatives to Update Builtin Docs?

Skills that share tags, products or a category with Update Builtin Docs: WooCommerce Code Review (woocommerce/woocommerce, 11k stars), Skill Doli Code Review (Dolibarr/dolibarr, 7.7k stars), Bug Triage (symfony/symfony, 31k stars) and Merge Up (symfony/symfony, 31k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Update Builtin Docs?

illegalstudio (a GitHub organization) maintains it in illegalstudio/elephc, which has 603 GitHub stars. The repository holds 5 skills in this directory. The repository was last updated on October 8, 2026.

Source: illegalstudio/elephc on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.