New: 97,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

Implement Hle Function

by mattias800 in mattias800/prosper

Implement or fix a reimplemented Sony library function (HLE) in prosper, test-first.

No licenceAuto-check passedTesting & QA

Install Implement Hle Function

skills CLI
$ npx skills add mattias800/prosper --skill implement-hle-function -a claude-code

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

GitHub CLI
$ gh skill install mattias800/prosper implement-hle-function --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/mattias800/prosper.git skills-src && mkdir -p .claude/skills && cp -r skills-src/.claude/skills/implement-hle-function .claude/skills/implement-hle-function && 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
implement-hle-function
GitHub stars
174
Token cost
~563 tokens
SKILL.md length
284 words
Files
1
Skills in repo
3
Repo updated
First seen
Licence
None found

At a glance

Implement or fix a reimplemented Sony library function (HLE) in prosper, test-first.

  • Works in 9 steps: Name it. Resolve the NID to a name and… → Re-verify it is still broken on current… → Read the owning folder's AGENTS.md under… → …
  • A guest calls an unregistered
  • Calls gh
  • Wrongly answering libkernel/libc/libSce function

What it does

Implement Hle Function is an agent skill from mattias800/prosper. Implement or fix a reimplemented Sony library function (HLE) in prosper, test-first. Use when a guest calls an unregistered, stubbed, or wrongly answering libkernel/libc/libSce function.

Its SKILL.md is about 560 tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.

It sits in Testing & QA, covering Test-driven development. The repository describes itself as: A user-space PlayStation 5 to PC compatibility layer for Linux, Windows, and macOS.

When your agent uses it

  • A guest calls an unregistered
  • Wrongly answering libkernel/libc/libSce function

Example prompts

  • “/implement-hle-function”

Workflow steps

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

  1. Name it. Resolve the NID to a name and owning library: grep -rn '' ../PS5-3.20_Libs/. Names and NIDs only; no bodies.
  2. Re-verify it is still broken on current main, and check gh issue list for a claim (CLAUDE.md, claiming rule).
  3. Read the owning folder's AGENTS.md under prosper/src/hle// and copy how neighbouring exports are registered (e.g. the R("name", fn)…
  4. Establish behaviour from evidence, in order: live trace of the real guest, guest disassembly, published contracts, firmware symbol data. A…
  5. Add or extend a regression in prosper/tests/ (rules: prosper/tests/AGENTS.md): success path, established SCE/POSIX error codes, and…
  6. Implement. Return the code a console returns. Only a truly unsupported state aborts, loudly. Never a silent return 0 stub. Entitlement and…
  7. Prove the test constrains the fix: revert the fix, see red, restore, see green.
  8. Verify relevant cases: ctest --test-dir --no-tests=error with the focused selection; quote the count and exit code.
  9. Record: a falsified hypothesis goes in the relevant ## Ruled out; record deferred bugs through the authorized issue workflow; the PR…

What it can do on your machine

Read from SKILL.md and the folder at commit 97917c5. 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:

    • gh

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

  • Network

    No URLs in SKILL.md. Its commands use gh, 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

Implement Hle Function loads about 563 tokens when it runs. Until then it costs about 53 tokens; SKILL.md has 284 words of instructions outside code blocks.

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

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

Without a licence we can't republish the file, so here is its outline and opening line. It has 284 words (~563 tokens).

“Preserve task authorization, resource coordination and LOCAL.md; this skill grants no additional permission to execute workloads, publish, push or merge.”

— opening of SKILL.md by mattias800
name
implement-hle-function

Read the full SKILL.md on GitHub

Files

Just SKILL.md in .claude/skills/implement-hle-function of mattias800/prosper.

Open the folder on GitHubat commit 97917c5

Compare with similar skills

Implement Hle Function 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.

Implement Hle Function compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Implement Hle Function this skillmattias800/prosper174—~563Automated safety check: PassNone
TDDfossasia/eventyay-interpretation1.6k28 repos~1.1kAutomated safety check: PassApache-2.0
TDD WorkflowhellangleZ/burn-in-cceverywhere-ralph11211 repos~2.4kAutomated safety check: PassNone
TDDsanity-io/sanity6.4k20 repos~1kAutomated safety check: PassMIT
Test Driven Developmentfarm-fe/farm5.6k49 repos~2.5kAutomated safety check: PassMIT
Tapd Story PipelineTencentBlueKing/bk-bcs840—~2.6kAutomated safety check: PassCustom licence

Similar skills

  • TDD

    fossasia/eventyay-interpretation

    Test-driven development. An agent skill from fossasia/eventyay-interpretation.

    1.6k GitHub starsUsed in 28 repos~1.1k tokens
    Testing & QAAuto-check passed

  • TDD Workflow

    hellangleZ/burn-in-cceverywhere-ralph

    A skill your agent uses when writing new features, fixing bugs, or refactoring code.

    112 GitHub starsUsed in 11 repos~2.4k tokens
    Testing & QAAuto-check passed

  • TDD

    sanity-io/sanity

    Official

    Test-driven development with red-green-refactor loop. An agent skill from sanity-io/sanity.

    6.4k GitHub starsUsed in 20 repos~1k tokens
    Testing & QAAuto-check passed

  • Test Driven Development

    farm-fe/farm

    A skill your agent uses when implementing any feature or bugfix, before writing implementation code

    5.6k GitHub starsUsed in 49 repos~2.5k tokens
    Testing & QAAuto-check passed

  • Tapd Story Pipeline

    TencentBlueKing/bk-bcs

    单需求实现流水线——把一个 TAPD 需求从零推进到代码提交。自动串联技术澄清、 开发计划、任务拆分、TDD 实现、架构/安全校验、代码提交六个阶段。

    840 GitHub stars~2.6k tokensUpdated 13 days ago
    Testing & QAAuto-check passed

  • Absolute Init

    maddhruv/absolute

    One-time setup for absolute: interview how you want it to behave (output style, autonomy, TDD strictness, spec dir, families) + detect the stack once, then write .absolute.config.json (project…

    218 GitHub starsUsed in 1 repo~3k tokens
    Testing & QAAuto-check passed

More from mattias800/prosper

  • Start Task

    mattias800/prosper

    Prepare an authorized prosper task using current instructions, issue ownership, an own worktree, and relevant verification.

    174 GitHub stars~661 tokensUpdated today
    Auto-check passed

  • Perf Change

    mattias800/prosper

    Make, measure and land a prosper performance change - a switch for the A/B, a same-binary A/B on reference workloads, and a recorded verdict either way.

    174 GitHub stars~923 tokensUpdated today
    Auto-check passed

Categories

Questions about Implement Hle Function

What does Implement Hle Function do?

Implement or fix a reimplemented Sony library function (HLE) in prosper, test-first. Implement Hle Function is an agent skill from mattias800/prosper. Implement or fix a reimplemented Sony library function (HLE) in prosper, test-first.

When should I use Implement Hle Function?

Implement Hle Function fits situations like: A guest calls an unregistered; wrongly answering libkernel/libc/libSce function.

How do I install Implement Hle Function in Claude Code?

Run `npx skills add mattias800/prosper --skill implement-hle-function -a claude-code`. Or copy the skill folder (.claude/skills/implement-hle-function in mattias800/prosper) into .claude/skills/implement-hle-function in your project. Claude Code loads it when a task matches its description.

How do I install Implement Hle Function in Codex?

Run `npx skills add mattias800/prosper --skill implement-hle-function -a codex`. Or copy the skill folder (.claude/skills/implement-hle-function in mattias800/prosper) into .agents/skills/implement-hle-function in your project. Codex loads it when a task matches its description.

Can I use Implement Hle Function 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 mattias800/prosper --skill implement-hle-function -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/implement-hle-function, .gemini/skills/implement-hle-function, .github/skills/implement-hle-function and .opencode/skills/implement-hle-function in your project.

What does Implement Hle Function need to run?

Going by SKILL.md and its folder, Implement Hle Function needs the command-line tools its instructions call (gh).

Does Implement Hle Function access the network?

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

Is Implement Hle Function 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 Implement Hle Function use?

No licence was found for Implement Hle Function or its repository. Without one, default copyright applies: ask the author before reusing or redistributing it.

How many tokens does Implement Hle Function use?

About 563 tokens (SKILL.md is roughly 2.3k 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 Implement Hle Function?

Skills that share tags, products or a category with Implement Hle Function: TDD (fossasia/eventyay-interpretation, 1.6k stars), TDD Workflow (hellangleZ/burn-in-cceverywhere-ralph, 112 stars), TDD (sanity-io/sanity, 6.4k stars) and Test Driven Development (farm-fe/farm, 5.6k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Implement Hle Function?

mattias800 (a GitHub user) maintains it in mattias800/prosper, which has 174 GitHub stars. The repository holds 3 skills in this directory. The repository was last updated on October 7, 2026.

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