Fortify Development
coollabsio/coolify
ACTIVATE when the user works on authentication in Laravel. An agent skill from coollabsio/coolify.
A skill your agent uses when the contestant needs to obtain or refresh their Simulation Challenge JWT (CHALLENGETOKEN), or wants to inspect the current logged-in user.
Install Challenge Login
$ npx skills add AgibotTech/genie_sim --skill challenge-login -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install AgibotTech/genie_sim challenge-login --agent claude-codeProject scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).
$ git clone --depth 1 https://github.com/AgibotTech/genie_sim.git skills-src && mkdir -p .claude/skills && cp -r skills-src/source/geniesim_benchmark/skills/robocoliseum/challenge-login .claude/skills/challenge-login && rm -rf skills-srcUse ~/.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/
Install the "challenge-login" agent skill from https://github.com/AgibotTech/genie_sim/tree/main/source/geniesim_benchmark/skills/robocoliseum/challenge-login into .claude/skills/challenge-login/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "challenge-login", then confirm the skill loads.Claude Code copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$skill-installer install https://github.com/AgibotTech/genie_sim/tree/main/source/geniesim_benchmark/skills/robocoliseum/challenge-loginType this inside Codex. $skill-installer <name> installs a curated skill from openai/skills. The installer writes to $CODEX_HOME/skills (default ~/.codex/skills). Restart Codex if the skill does not show up.
$ npx skills add AgibotTech/genie_sim --skill challenge-login -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install AgibotTech/genie_sim challenge-login --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/AgibotTech/genie_sim.git skills-src && mkdir -p .agents/skills && cp -r skills-src/source/geniesim_benchmark/skills/robocoliseum/challenge-login .agents/skills/challenge-login && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "challenge-login" agent skill from https://github.com/AgibotTech/genie_sim/tree/main/source/geniesim_benchmark/skills/robocoliseum/challenge-login into .agents/skills/challenge-login/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "challenge-login", then confirm the skill loads.Codex copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add AgibotTech/genie_sim --skill challenge-login -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install AgibotTech/genie_sim challenge-login --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/AgibotTech/genie_sim.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/source/geniesim_benchmark/skills/robocoliseum/challenge-login .cursor/skills/challenge-login && rm -rf skills-srcUse ~/.cursor/skills/ instead of .cursor/skills for a personal install.
Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/
Install the "challenge-login" agent skill from https://github.com/AgibotTech/genie_sim/tree/main/source/geniesim_benchmark/skills/robocoliseum/challenge-login into .cursor/skills/challenge-login/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "challenge-login", then confirm the skill loads.Cursor copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gemini skills install https://github.com/AgibotTech/genie_sim.git --path source/geniesim_benchmark/skills/robocoliseum/challenge-login--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.
$ npx skills add AgibotTech/genie_sim --skill challenge-login -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install AgibotTech/genie_sim challenge-login --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/AgibotTech/genie_sim.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/source/geniesim_benchmark/skills/robocoliseum/challenge-login .gemini/skills/challenge-login && rm -rf skills-srcUse ~/.gemini/skills/ instead of .gemini/skills for a personal install, then run /skills reload.
Gemini CLI skills documentation · loads skills from .gemini/skills/, .agents/skills/
Install the "challenge-login" agent skill from https://github.com/AgibotTech/genie_sim/tree/main/source/geniesim_benchmark/skills/robocoliseum/challenge-login into .gemini/skills/challenge-login/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "challenge-login", then confirm the skill loads.Gemini CLI copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gh skill install AgibotTech/genie_sim challenge-loginInstalls for Copilot at project scope by default; add --scope user for a personal install. Preview a skill first with gh skill preview. Needs GitHub CLI 2.90.0 or later (public preview).
$ npx skills add AgibotTech/genie_sim --skill challenge-login -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/AgibotTech/genie_sim.git skills-src && mkdir -p .github/skills && cp -r skills-src/source/geniesim_benchmark/skills/robocoliseum/challenge-login .github/skills/challenge-login && rm -rf skills-srcUse ~/.copilot/skills/ instead of .github/skills for a personal install. Commit .github/skills so cloud agent and code review can use it.
GitHub Copilot skills documentation · loads skills from .github/skills/, .claude/skills/, .agents/skills/
Install the "challenge-login" agent skill from https://github.com/AgibotTech/genie_sim/tree/main/source/geniesim_benchmark/skills/robocoliseum/challenge-login into .github/skills/challenge-login/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "challenge-login", then confirm the skill loads.GitHub Copilot copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add AgibotTech/genie_sim --skill challenge-login -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install AgibotTech/genie_sim challenge-login --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/AgibotTech/genie_sim.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/source/geniesim_benchmark/skills/robocoliseum/challenge-login .opencode/skills/challenge-login && rm -rf skills-srcUse ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.
OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/
Install the "challenge-login" agent skill from https://github.com/AgibotTech/genie_sim/tree/main/source/geniesim_benchmark/skills/robocoliseum/challenge-login into .opencode/skills/challenge-login/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "challenge-login", then confirm the skill loads.OpenCode copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
Facts
- Skill name
challenge-login- GitHub stars
- 1.4k
- Token cost
- ~1.6k tokens
- SKILL.md length
- 571 words
- Files
- 1
- Skills in repo
- 26
- Repo updated
- First seen
- Licence
- Custom licence
At a glance
A skill your agent uses when the contestant needs to obtain or refresh their Simulation Challenge JWT (CHALLENGETOKEN), or wants to inspect the current logged-in user.
- Works in 3 steps: Login (read-only on the platform; safe… → Inspect the current user (recommended… → Refresh an expired token
- The contestant needs to obtain
- SKILL.md covers Inputs, Step 1 — Login (read-only on…, Step 2 — Inspect the current… and Step 3 — Refresh an expired…, plus 3 more sections
- Calls jq and curl; reaches robocoliseum.ai; needs CHALLENGE_TOKEN and JOB_TOKEN
What it does
Challenge Login is an agent skill from AgibotTech/genie_sim. Use when the contestant needs to obtain or refresh their Simulation Challenge JWT (CHALLENGETOKEN), or wants to inspect the current logged-in user. Trigger words include "log in", "token", "401", "current user", "name", "refresh".
Its SKILL.md is about 1.6k 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 Backend & APIs, covering Authentication. The repository describes itself as: Simulation Platform from AgiBot.
When your agent uses it
- The contestant needs to obtain
- Refresh their Simulation Challenge JWT (CHALLENGETOKEN)
- Wants to inspect the current logged-in user
- Words include log in
Example prompts
- “log in”
- “current user”
- “refresh”
- “/challenge-login”
Requirements
- A credential in CHALLENGE_TOKEN
- A credential in JOB_TOKEN
Workflow steps
3 steps, taken from the step headings in SKILL.md.
- Login (read-only on the platform; safe to run)
- Inspect the current user (recommended after login)
- Refresh an expired token
What it can do on your machine
Read from SKILL.md and the folder at commit 6ca11c7. 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:
jqcurl
From the folder's file list and the shell code blocks in SKILL.md.
Network
Hosts in commands or code, which the agent is likely to contact:
robocoliseum.ai
From URLs in SKILL.md, links to its own repository left out.
Credentials
Names these keys or tokens, usually read from environment variables:
CHALLENGE_TOKENJOB_TOKEN
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.
Context cost
Challenge Login loads about 1.6k tokens when it runs. Until then it costs about 62 tokens; SKILL.md has 571 words of instructions outside code blocks.
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
Its licence (Custom licence) doesn't allow us to republish the file, so here is its outline and opening line. It has 571 words (~1,629 tokens).
“The challenge API is gated by a JWT delivered as Authorization: Bearer . Almost everything else fails with 401 until this is set.”
- name
- challenge-login
Files
Just SKILL.md in source/geniesim_benchmark/skills/robocoliseum/challenge-login of AgibotTech/genie_sim.
Open the folder on GitHubat commit 6ca11c7
Compare with similar skills
Challenge Login 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.
| Skill | Stars | Used in | Tokens | Auto-check | Licence | Repo updated |
|---|---|---|---|---|---|---|
| Challenge Login this skillAgibotTech/genie_sim | 1.4k | — | ~1.6k | Automated safety check: Pass | Custom licence | |
| Fortify Developmentcoollabsio/coolify | 63k | 4 repos | ~1.9k | Automated safety check: Pass | MIT | |
| Supabase Development and Debuggingsupabase/agent-skills | 2.7k | 3 repos | ~3.6k | Automated safety check: Pass | MIT | |
| Better Auth Best Practiceslatitude-dev/latitude-llm | 4.7k | 7 repos | ~1.6k | Automated safety check: Pass | MIT | |
| Supabasecurvenote/curvenote | 169 | 5 repos | ~2.2k | Automated safety check: Pass | Custom licence | |
| Gitnexus Exploringaws-samples/sample-kolya-br-proxy | 106 | 11 repos | ~749 | Automated safety check: Pass | MIT-0 |
Similar skills
- Official
Supabase Development and Debugging
supabase/agent-skills
General Supabase skill for database, auth, Edge Functions, Realtime and storage work, plus client libraries, migrations, security audits, debugging and reading logs.
Better Auth Best Practices
latitude-dev/latitude-llm
Configure Better Auth server and client, set up database adapters, manage sessions, add plugins, and handle environment variables.
Supabase
curvenote/curvenote
A skill your agent uses when doing ANY task involving Supabase.
- Official
Gitnexus Exploring
aws-samples/sample-kolya-br-proxy
A skill your agent uses when the user asks how code works, wants to understand architecture, trace execution flows, or explore unfamiliar parts of the codebase.
Agentic Wallet
coinbase/agentic-wallet-skills
Crypto wallet operations via the awal CLI — sign in, check balances, send USDC/ETH/POL/SOL, trade tokens, fund the wallet, and use the x402 payment protocol to discover paid services, pay for API…
More from AgibotTech/genie_sim
All 26 skills in this repoChallenge Baseline Model
AgibotTech/genie_sim
Provision and launch the Simulation Challenge baseline inference model end to end: clone the inference code from a given git repo/branch, download the checkpoints from ModelScope into the repo's…
Challenge Download Datasets
AgibotTech/genie_sim
Download the Simulation Challenge LeRobot v2.1 training datasets from ModelScope using ./scripts/downloaddataset.sh.
Add Robot
AgibotTech/genie_sim
Bring a custom robot into the Genie Sim RT Engine — author / fix a xacro / URDF in geniesimrobotmodel, prep meshes with the offline tools (normalizeobjnames.py, diagnoseurdf.py, recomputeinertia.py…
Build Workspace
AgibotTech/genie_sim
Build the geniesimros colcon workspace inside the Genie Sim Docker container using the geniesim ros build CLI verb.
Challenge Inference Protocol
AgibotTech/genie_sim
Reference for the Simulation Challenge inference wire protocol — the exact obs (input) and action (output) message format exchanged between the gateway/genie-sim simulator and the contestant's…
Challenge Poll Result
AgibotTech/genie_sim
A skill your agent uses to track a Simulation Challenge job's progress — list jobs, watch a job's status until terminal, fetch its per-task scores, or pull execution logs when it failed.
Related
Categories
Questions about Challenge Login
What does Challenge Login do?
A skill your agent uses when the contestant needs to obtain or refresh their Simulation Challenge JWT (CHALLENGETOKEN), or wants to inspect the current logged-in user. Challenge Login is an agent skill from AgibotTech/genie_sim. Use when the contestant needs to obtain or refresh their Simulation Challenge JWT (CHALLENGETOKEN), or wants to inspect the current logged-in user.
When should I use Challenge Login?
Challenge Login fits situations like: the contestant needs to obtain; refresh their Simulation Challenge JWT (CHALLENGETOKEN); wants to inspect the current logged-in user; words include log in.
How do I install Challenge Login in Claude Code?
Run `npx skills add AgibotTech/genie_sim --skill challenge-login -a claude-code`. Or copy the skill folder (source/geniesim_benchmark/skills/robocoliseum/challenge-login in AgibotTech/genie_sim) into .claude/skills/challenge-login in your project. Claude Code loads it when a task matches its description.
How do I install Challenge Login in Codex?
Run `npx skills add AgibotTech/genie_sim --skill challenge-login -a codex`. Or copy the skill folder (source/geniesim_benchmark/skills/robocoliseum/challenge-login in AgibotTech/genie_sim) into .agents/skills/challenge-login in your project. Codex loads it when a task matches its description.
Can I use Challenge Login 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 AgibotTech/genie_sim --skill challenge-login -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/challenge-login, .gemini/skills/challenge-login, .github/skills/challenge-login and .opencode/skills/challenge-login in your project.
What does Challenge Login need to run?
Going by SKILL.md and its folder, Challenge Login needs the command-line tools its instructions call (jq and curl) and credentials named CHALLENGE_TOKEN and JOB_TOKEN. Our summary lists: A credential in CHALLENGE_TOKEN; A credential in JOB_TOKEN.
Does Challenge Login access the network?
SKILL.md names 1 domain. In commands or code: robocoliseum.ai; the agent is likely to contact it when it follows the instructions. This is read from the text; nothing was executed.
Is Challenge Login 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 Challenge Login use?
Challenge Login has a licence file (the repository's licence) that doesn't match a standard licence. Read it on GitHub before reusing the skill.
How many tokens does Challenge Login use?
About 1.6k tokens (SKILL.md is roughly 6.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 Challenge Login?
Skills that share tags, products or a category with Challenge Login: Fortify Development (coollabsio/coolify, 63k stars), Supabase Development and Debugging (supabase/agent-skills, 2.7k stars), Better Auth Best Practices (latitude-dev/latitude-llm, 4.7k stars) and Supabase (curvenote/curvenote, 169 stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
Who maintains Challenge Login?
AgibotTech (a GitHub organization) maintains it in AgibotTech/genie_sim, which has 1,414 GitHub stars. The repository holds 26 skills in this directory. The repository was last updated on September 7, 2026.
Source: AgibotTech/genie_sim on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.