Hugging Face Tokenizers
Orchestra-Research/AI-Research-SKILLs
Shows how to load, train and use fast Hugging Face tokenizers, with BPE, WordPiece and Unigram models, padding, truncation and alignment tracking.
Nonlinear optimization with CasADi and IPOPT solver. An agent skill from benchflow-ai/skillsbench.
$ npx skills add benchflow-ai/skillsbench --skill casadi-ipopt-nlp -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install benchflow-ai/skillsbench casadi-ipopt-nlp --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/benchflow-ai/skillsbench.git skills-src && mkdir -p .claude/skills && cp -r skills-src/tasks/energy-ac-optimal-power-flow/environment/skills/casadi-ipopt-nlp .claude/skills/casadi-ipopt-nlp && 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 "casadi-ipopt-nlp" agent skill from https://github.com/benchflow-ai/skillsbench/tree/main/tasks/energy-ac-optimal-power-flow/environment/skills/casadi-ipopt-nlp into .claude/skills/casadi-ipopt-nlp/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "casadi-ipopt-nlp", 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/benchflow-ai/skillsbench/tree/main/tasks/energy-ac-optimal-power-flow/environment/skills/casadi-ipopt-nlpType 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 benchflow-ai/skillsbench --skill casadi-ipopt-nlp -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install benchflow-ai/skillsbench casadi-ipopt-nlp --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/benchflow-ai/skillsbench.git skills-src && mkdir -p .agents/skills && cp -r skills-src/tasks/energy-ac-optimal-power-flow/environment/skills/casadi-ipopt-nlp .agents/skills/casadi-ipopt-nlp && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "casadi-ipopt-nlp" agent skill from https://github.com/benchflow-ai/skillsbench/tree/main/tasks/energy-ac-optimal-power-flow/environment/skills/casadi-ipopt-nlp into .agents/skills/casadi-ipopt-nlp/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "casadi-ipopt-nlp", 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 benchflow-ai/skillsbench --skill casadi-ipopt-nlp -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install benchflow-ai/skillsbench casadi-ipopt-nlp --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/benchflow-ai/skillsbench.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/tasks/energy-ac-optimal-power-flow/environment/skills/casadi-ipopt-nlp .cursor/skills/casadi-ipopt-nlp && 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 "casadi-ipopt-nlp" agent skill from https://github.com/benchflow-ai/skillsbench/tree/main/tasks/energy-ac-optimal-power-flow/environment/skills/casadi-ipopt-nlp into .cursor/skills/casadi-ipopt-nlp/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "casadi-ipopt-nlp", 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/benchflow-ai/skillsbench.git --path tasks/energy-ac-optimal-power-flow/environment/skills/casadi-ipopt-nlp--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 benchflow-ai/skillsbench --skill casadi-ipopt-nlp -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install benchflow-ai/skillsbench casadi-ipopt-nlp --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/benchflow-ai/skillsbench.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/tasks/energy-ac-optimal-power-flow/environment/skills/casadi-ipopt-nlp .gemini/skills/casadi-ipopt-nlp && 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 "casadi-ipopt-nlp" agent skill from https://github.com/benchflow-ai/skillsbench/tree/main/tasks/energy-ac-optimal-power-flow/environment/skills/casadi-ipopt-nlp into .gemini/skills/casadi-ipopt-nlp/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "casadi-ipopt-nlp", 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 benchflow-ai/skillsbench casadi-ipopt-nlpInstalls 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 benchflow-ai/skillsbench --skill casadi-ipopt-nlp -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/benchflow-ai/skillsbench.git skills-src && mkdir -p .github/skills && cp -r skills-src/tasks/energy-ac-optimal-power-flow/environment/skills/casadi-ipopt-nlp .github/skills/casadi-ipopt-nlp && 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 "casadi-ipopt-nlp" agent skill from https://github.com/benchflow-ai/skillsbench/tree/main/tasks/energy-ac-optimal-power-flow/environment/skills/casadi-ipopt-nlp into .github/skills/casadi-ipopt-nlp/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "casadi-ipopt-nlp", 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 benchflow-ai/skillsbench --skill casadi-ipopt-nlp -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install benchflow-ai/skillsbench casadi-ipopt-nlp --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/benchflow-ai/skillsbench.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/tasks/energy-ac-optimal-power-flow/environment/skills/casadi-ipopt-nlp .opencode/skills/casadi-ipopt-nlp && 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 "casadi-ipopt-nlp" agent skill from https://github.com/benchflow-ai/skillsbench/tree/main/tasks/energy-ac-optimal-power-flow/environment/skills/casadi-ipopt-nlp into .opencode/skills/casadi-ipopt-nlp/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "casadi-ipopt-nlp", 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.
casadi-ipopt-nlpNonlinear optimization with CasADi and IPOPT solver. An agent skill from benchflow-ai/skillsbench.
Casadi Ipopt NLP is an agent skill from benchflow-ai/skillsbench. Nonlinear optimization with CasADi and IPOPT solver. Use when building and solving NLP problems: defining symbolic variables, adding nonlinear constraints, setting solver options, handling multiple initializations, and extracting solutions. Covers power systems optimization patterns including per-unit scaling and complex number formulations.
Its SKILL.md is about 1.2k 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 AI & LLM Engineering, covering Natural language processing. The repository describes itself as: SkillsBench evaluates how well skills work and how effective agents are at using them. The licence is Apache-2.0.
5 steps, taken from the step headings in SKILL.md.
Read from SKILL.md and the folder at commit 9a1f4dd. It shows what the files ask for, not the result of running them.
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.
Shell commands in SKILL.md call:
apt-getpipFrom the folder's file list and the shell code blocks in SKILL.md.
No URLs in SKILL.md. Its commands use pip, which can reach the network depending on how they are called.
From URLs in SKILL.md, links to its own repository left out.
Names no API keys, tokens, secrets or passwords.
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.
Casadi Ipopt NLP loads about 1.2k tokens when it runs. Until then it costs about 90 tokens; SKILL.md has 229 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.
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.
The full file from benchflow-ai/skillsbench at commit 9a1f4dd, republished under its Apache-2.0 licence (© benchflow-ai). 229 words, ~1,232 tokens.
.claude/skills/casadi-ipopt-nlp/SKILL.md (or your agent's skills folder).CasADi is a symbolic framework for nonlinear optimization. IPOPT is an interior-point solver for large-scale NLP.
apt-get update -qq && apt-get install -y -qq libgfortran5
pip install numpy==1.26.4 casadi==3.6.7import casadi as ca
n_bus, n_gen = 100, 20
Vm = ca.MX.sym("Vm", n_bus) # Voltage magnitudes
Va = ca.MX.sym("Va", n_bus) # Voltage angles (radians)
Pg = ca.MX.sym("Pg", n_gen) # Real power
Qg = ca.MX.sym("Qg", n_gen) # Reactive power
# Stack into single vector for solver
x = ca.vertcat(Vm, Va, Pg, Qg)Build symbolic expression:
# Quadratic cost: sum of c2*P^2 + c1*P + c0
obj = ca.MX(0)
for k in range(n_gen):
obj += c2[k] * Pg[k]**2 + c1[k] * Pg[k] + c0[k]Collect constraints in lists with bounds:
g_expr = [] # Constraint expressions
lbg = [] # Lower bounds
ubg = [] # Upper bounds
# Equality constraint: g(x) = 0
g_expr.append(some_expression)
lbg.append(0.0)
ubg.append(0.0)
# Inequality constraint: g(x) <= limit
g_expr.append(another_expression)
lbg.append(-ca.inf)
ubg.append(limit)
# Two-sided: lo <= g(x) <= hi
g_expr.append(bounded_expression)
lbg.append(lo)
ubg.append(hi)
g = ca.vertcat(*g_expr)# Stack bounds matching variable order
lbx = np.concatenate([Vm_min, Va_min, Pg_min, Qg_min]).tolist()
ubx = np.concatenate([Vm_max, Va_max, Pg_max, Qg_max]).tolist()nlp = {"x": x, "f": obj, "g": g}
opts = {
"ipopt.print_level": 0,
"ipopt.max_iter": 2000,
"ipopt.tol": 1e-7,
"ipopt.acceptable_tol": 1e-5,
"ipopt.mu_strategy": "adaptive",
"print_time": False,
}
solver = ca.nlpsol("solver", "ipopt", nlp, opts)
sol = solver(x0=x0, lbx=lbx, ubx=ubx, lbg=lbg, ubg=ubg)
x_opt = np.array(sol["x"]).flatten()
obj_val = float(sol["f"])| Option | Default | Recommendation | Notes |
|---|---|---|---|
tol | 1e-8 | 1e-7 | Convergence tolerance |
acceptable_tol | 1e-6 | 1e-5 | Fallback if tol not reached |
max_iter | 3000 | 2000 | Increase for hard problems |
mu_strategy | monotone | adaptive | Better for nonconvex |
print_level | 5 | 0 | Quiet output |
Nonlinear solvers are sensitive to starting points. Use multiple initializations:
initializations = [x0_from_data, x0_flat_start]
best_sol = None
for x0 in initializations:
try:
sol = solver(x0=x0, lbx=lbx, ubx=ubx, lbg=lbg, ubg=ubg)
if best_sol is None or float(sol["f"]) < float(best_sol["f"]):
best_sol = sol
except Exception:
continue
if best_sol is None:
raise RuntimeError("Solver failed from all initializations")Good initialization strategies:
x_opt = np.array(sol["x"]).flatten()
# Unpack by slicing (must match variable order)
Vm_sol = x_opt[:n_bus]
Va_sol = x_opt[n_bus:2*n_bus]
Pg_sol = x_opt[2*n_bus:2*n_bus+n_gen]
Qg_sol = x_opt[2*n_bus+n_gen:]Work in per-unit internally, convert for output:
baseMVA = 100.0
Pg_pu = Pg_MW / baseMVA # Input conversion
Pg_MW = Pg_pu * baseMVA # Output conversionCost functions often expect MW, not per-unit - check the formulation.
Power system bus numbers may not be contiguous:
bus_id_to_idx = {int(bus[i, 0]): i for i in range(n_bus)}
gen_bus_idx = bus_id_to_idx[int(gen_row[0])]Pg_bus = [ca.MX(0) for _ in range(n_bus)]
for k in range(n_gen):
bus_idx = gen_bus_idx[k]
Pg_bus[bus_idx] += Pg[k]tap=0 to mean 1.0, not zero© benchflow-ai, Apache-2.0. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file
Just SKILL.md in tasks/energy-ac-optimal-power-flow/environment/skills/casadi-ipopt-nlp of benchflow-ai/skillsbench.
Open the folder on GitHubat commit 9a1f4dd
Casadi Ipopt NLP 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 |
|---|---|---|---|---|---|---|
| Casadi Ipopt NLP this skillbenchflow-ai/skillsbench | 1.8k | — | ~1.2k | Automated safety check: Pass | Apache-2.0 | |
| Hugging Face TokenizersOrchestra-Research/AI-Research-SKILLs | 13k | 6 repos | ~3.4k | Automated safety check: Pass | MIT | |
| OpenMed Model Card Writermaziyarpanahi/openmed | 5.5k | — | ~1.8k | Automated safety check: Pass | Apache-2.0 | |
| Gptqmodel Tokenizer NormalizationModelCloud/GPTQModel | 1.3k | — | ~1.1k | Automated safety check: Pass | Custom licence | |
| Andrej KarpathyK-Dense-AI/mimeo | 282 | — | ~1.9k | Automated safety check: Pass | MIT | |
| Comparetaishi-i/awesome-japanese-nlp-resources | 1k | — | ~4.1k | Automated safety check: Notes | CC0-1.0 |
Orchestra-Research/AI-Research-SKILLs
Shows how to load, train and use fast Hugging Face tokenizers, with BPE, WordPiece and Unigram models, padding, truncation and alignment tracking.
maziyarpanahi/openmed
Fills in a model card for an OpenMed clinical NER or de-identification model from its evaluation reports: intended use, metrics, subgroups and limitations.
ModelCloud/GPTQModel
Diagnose and correct GPT-QModel tokenizer initialization, tokenization normalization, special-token handling, prompt rendering, and chat-template problems.
K-Dense-AI/mimeo
Applies the mental models and frameworks of Andrej Karpathy (deep learning, former Director of AI at Tesla, founding member of OpenAI, Eureka Labs).
taishi-i/awesome-japanese-nlp-resources
Compare several Japanese NLP libraries, models, or datasets for a keyword (a specific tool name, or a function/task like '形態素解析') across a handful of criteria chosen for that comparison, rendered as…
taishi-i/awesome-japanese-nlp-resources
Analyze current trends and challenges in Japanese NLP for a topic.
benchflow-ai/skillsbench
This skill should be used when working on Lean 4 formalization projects to maintain persistent memory of successful proof patterns, failed approaches, project conventions, and user preferences…
benchflow-ai/skillsbench
World-class data engineering skill for building scalable data pipelines, ETL/ELT systems, real-time streaming, and data infrastructure.
benchflow-ai/skillsbench
AC branch pi-model power flow equations (P/Q and |S|) with transformer tap ratio and phase shift, matching acopf-math-model.md and MATPOWER branch fields.
benchflow-ai/skillsbench
Civilization 6 district mechanics library. An agent skill from benchflow-ai/skillsbench.
benchflow-ai/skillsbench
Build deterministic, verifiable data visualizations with D3.js (v6).
benchflow-ai/skillsbench
DC power flow analysis for power systems. An agent skill from benchflow-ai/skillsbench.
Categories
Nonlinear optimization with CasADi and IPOPT solver. An agent skill from benchflow-ai/skillsbench. Casadi Ipopt NLP is an agent skill from benchflow-ai/skillsbench. Nonlinear optimization with CasADi and IPOPT solver.
Casadi Ipopt NLP fits situations like: building and solving NLP problems: defining symbolic variables; adding nonlinear constraints; setting solver options; handling multiple initializations.
Run `npx skills add benchflow-ai/skillsbench --skill casadi-ipopt-nlp -a claude-code`. Or copy the skill folder (tasks/energy-ac-optimal-power-flow/environment/skills/casadi-ipopt-nlp in benchflow-ai/skillsbench) into .claude/skills/casadi-ipopt-nlp in your project. Claude Code loads it when a task matches its description.
Run `npx skills add benchflow-ai/skillsbench --skill casadi-ipopt-nlp -a codex`. Or copy the skill folder (tasks/energy-ac-optimal-power-flow/environment/skills/casadi-ipopt-nlp in benchflow-ai/skillsbench) into .agents/skills/casadi-ipopt-nlp in your project. Codex loads it when a task matches its description.
Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add benchflow-ai/skillsbench --skill casadi-ipopt-nlp -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/casadi-ipopt-nlp, .gemini/skills/casadi-ipopt-nlp, .github/skills/casadi-ipopt-nlp and .opencode/skills/casadi-ipopt-nlp in your project.
Going by SKILL.md and its folder, Casadi Ipopt NLP needs the command-line tools its instructions call (apt-get and pip). Our summary lists: Python 3.
SKILL.md contains no URLs. Its commands use pip, which can reach the network depending on how they are called. This is read from the text; nothing was executed.
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.
Casadi Ipopt NLP is published under the Apache-2.0 licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.
About 1.2k tokens (SKILL.md is roughly 4.9k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.
Skills that share tags, products or a category with Casadi Ipopt NLP: Hugging Face Tokenizers (Orchestra-Research/AI-Research-SKILLs, 13k stars), OpenMed Model Card Writer (maziyarpanahi/openmed, 5.5k stars), Gptqmodel Tokenizer Normalization (ModelCloud/GPTQModel, 1.3k stars) and Andrej Karpathy (K-Dense-AI/mimeo, 282 stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
benchflow-ai (a GitHub organization) maintains it in benchflow-ai/skillsbench, which has 1,835 GitHub stars. The repository holds 189 skills in this directory. The repository was last updated on July 23, 2026.
Source: benchflow-ai/skillsbench on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.