Skip to main content
Run any Skill in Manus
with one click
ARiSE-Lab
GitHub creator profile

ARiSE-Lab

Repository-level view of 4 collected skills across 1 GitHub repositories.

skills collected
4
repositories
1
updated
2026-05-28
repository map

Where the skills live

Top repositories by collected skill count, with their share of this creator catalog and occupation spread.

repository explorer

Repositories and representative skills

huggingface-sync
software-developers

Import or export live-kBench kArena bugs and dataset definitions with HuggingFace Hub. Use when Codex is asked to sync, publish, push, pull, import, export, mirror, snapshot, or restore kArena datasets through kArena.hf_sync, HFBugExporter, HFBugImporter, export_to_hf, import_from_hf, or HF_TOKEN.

2026-05-28
karena-deploy
software-developers

Generate ready-to-paste kArena shell task factory snippets for live-kBench operations. Use when Codex is asked to start, deploy, run, poll, bootstrap, sync, or manage kArena workflows in karena-shell, including crawl_bugs, submit_kcache, poll_kcache, build_kenv_images, crash evals, LLM judge evals, localization, developer patch population, and HuggingFace import/export tasks.

2026-05-28
kenv-invoker-writer
software-developers

Write or update live-kBench kEnv agent integrations. Use when Codex needs to create a kenv-invoker.py, adapt an agent to the kEnv protocol, add a docker/kenv-*.Dockerfile, debug kEnv container inputs or outputs, or ensure an agent writes patch.txt, traj.json, and log.txt for live-kBench evaluation.

2026-05-28
kgym-deploy
software-developers

Deploy, upgrade, shut down, or troubleshoot kGymSuite for live-kBench in local Docker Compose or GCP/remote multi-server environments. Use when Codex is asked to deploy kGym, start local kGym services, configure deployment/local or deployment/gcp, run kgym.py new-deploy/upgrade/down/config-artifact-reg, prepare kGym storage, or verify scheduler/dashboard/worker services.

2026-05-28
Showing 1 of 1 repositories
All repositories loaded
ARiSE-Lab Agent Skills | SkillsMP