Solver
atopile/atopile
How the Faebryk parameter solver works (Sets/Literals, Parameters, Expressions), the core invariants enforced during mutation, and practical workflows for debugging and extending the solver.
编写或校验 GEM5 SolveSpec 参数搜索，并按请求准备或触发 manual-solve.yml. An agent skill from OpenXiangShan/GEM5.
BSD-3-ClauseAuto-check passed
Install CI Param Solver
$ npx skills add OpenXiangShan/GEM5 --skill ci-param-solver -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install OpenXiangShan/GEM5 ci-param-solver --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/OpenXiangShan/GEM5.git skills-src && mkdir -p .claude/skills && cp -r skills-src/.agents/skills/ci-param-solver .claude/skills/ci-param-solver && 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 "ci-param-solver" agent skill from https://github.com/OpenXiangShan/GEM5/tree/xs-dev/.agents/skills/ci-param-solver into .claude/skills/ci-param-solver/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "ci-param-solver", 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/OpenXiangShan/GEM5/tree/xs-dev/.agents/skills/ci-param-solverType 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 OpenXiangShan/GEM5 --skill ci-param-solver -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install OpenXiangShan/GEM5 ci-param-solver --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/OpenXiangShan/GEM5.git skills-src && mkdir -p .agents/skills && cp -r skills-src/.agents/skills/ci-param-solver .agents/skills/ci-param-solver && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "ci-param-solver" agent skill from https://github.com/OpenXiangShan/GEM5/tree/xs-dev/.agents/skills/ci-param-solver into .agents/skills/ci-param-solver/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "ci-param-solver", 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 OpenXiangShan/GEM5 --skill ci-param-solver -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install OpenXiangShan/GEM5 ci-param-solver --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/OpenXiangShan/GEM5.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/.agents/skills/ci-param-solver .cursor/skills/ci-param-solver && 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 "ci-param-solver" agent skill from https://github.com/OpenXiangShan/GEM5/tree/xs-dev/.agents/skills/ci-param-solver into .cursor/skills/ci-param-solver/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "ci-param-solver", 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/OpenXiangShan/GEM5.git --path .agents/skills/ci-param-solver--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 OpenXiangShan/GEM5 --skill ci-param-solver -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install OpenXiangShan/GEM5 ci-param-solver --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/OpenXiangShan/GEM5.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/.agents/skills/ci-param-solver .gemini/skills/ci-param-solver && 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 "ci-param-solver" agent skill from https://github.com/OpenXiangShan/GEM5/tree/xs-dev/.agents/skills/ci-param-solver into .gemini/skills/ci-param-solver/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "ci-param-solver", 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 OpenXiangShan/GEM5 ci-param-solverInstalls 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 OpenXiangShan/GEM5 --skill ci-param-solver -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/OpenXiangShan/GEM5.git skills-src && mkdir -p .github/skills && cp -r skills-src/.agents/skills/ci-param-solver .github/skills/ci-param-solver && 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 "ci-param-solver" agent skill from https://github.com/OpenXiangShan/GEM5/tree/xs-dev/.agents/skills/ci-param-solver into .github/skills/ci-param-solver/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "ci-param-solver", 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 OpenXiangShan/GEM5 --skill ci-param-solver -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install OpenXiangShan/GEM5 ci-param-solver --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/OpenXiangShan/GEM5.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/.agents/skills/ci-param-solver .opencode/skills/ci-param-solver && 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 "ci-param-solver" agent skill from https://github.com/OpenXiangShan/GEM5/tree/xs-dev/.agents/skills/ci-param-solver into .opencode/skills/ci-param-solver/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "ci-param-solver", 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
ci-param-solver- GitHub stars
- 161
- Token cost
- ~389 tokens
- SKILL.md length
- 90 words
- Files
- 8 (incl. scripts, references)
- Skills in repo
- 10
- Repo updated
- First seen
- Licence
- BSD-3-Clause
At a glance
编写或校验 GEM5 SolveSpec 参数搜索，并按请求准备或触发 manual-solve.yml. An agent skill from OpenXiangShan/GEM5.
- SKILL.md covers 按任务选择入口, 信息与动作边界, 必须保留的实验约束 and 完成标准与工具
- Runs Python scripts from its folder
What it does
CI Param Solver is an agent skill from OpenXiangShan/GEM5. 编写或校验 GEM5 SolveSpec 参数搜索，并按请求准备或触发 manual-solve.yml。
Its SKILL.md is about 390 tokens, which your agent loads only when the skill is triggered. The skill folder holds 10 other files, including scripts and reference files (for example `agents/openai.yaml`, `references/ci-dispatch.md` and `references/solver-rules.md`).
The licence is BSD-3-Clause.
Example prompts
- “/ci-param-solver”
Requirements
- Python 3
What it can do on your machine
Read from SKILL.md and the folder at commit 050efbd. 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
Ships 2 files in scripts/ (Python), which the agent can run.
From the folder's file list and the shell code blocks in SKILL.md.
Network
No URLs in SKILL.md.
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
CI Param Solver loads about 389 tokens when it runs, and up to ~5.6k if it reads all its reference files. Until then it costs about 17 tokens; SKILL.md has 90 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); the scripts in this folder are not scanned.
SKILL.md
The full file from OpenXiangShan/GEM5 at commit 050efbd, republished under its BSD-3-Clause licence (© OpenXiangShan). 90 words, ~389 tokens.
Download SKILL.mdSave it as
.claude/skills/ci-param-solver/SKILL.md (or your agent's skills folder). This skill also uses 7 other files; get the full folder from GitHub.- name
- ci-param-solver
- description
- 编写或校验 GEM5 SolveSpec 参数搜索，并按请求准备或触发 manual-solve.yml。
CI 参数求解
产出可解析、可绑定的 configs/solver_specs/<name>.py；请求触发时，完成预检并回查远端 run。
按任务选择入口
- 编写或修改 spec：读取 spec-authoring.md。
- 查询 DSL、目标函数、工作负载或并行语义：读取 solver-rules.md，必要时查
util/solver/spec/、util/solver/parser/和现有 specs。 - 准备或触发 CI：读取 ci-dispatch.md，以目标 ref 的
.github/workflows/manual-solve.yml为输入接口依据。 - 验证本 skill 的行为：使用 test-scenarios.md。
不必为只改 spec 的任务先读取完整用户指南和远端 workflow。文档与源码不一致时，以对应版本源码为准。
信息与动作边界
- 用户决定搜索目标、候选域、约束、工作负载和预算；沿用本次任务已明确的选择或明确指定的 spec，不编造实验语义。
- 参数对象路径、类型、合法取值及统计名先从配置、源码、已有 spec 或实际 stats 查明；只有歧义无法消除时才询问用户。
- 缺少影响实验含义的选择时，只暂停依赖它的动作。继续代码调查、现有 spec 解析或已明确部分的草稿；草稿注明未决项，不把未完成 spec 当作可执行搜索。
- 缺少 CI 引用或并发设置不阻塞已明确的本地 spec 工作。CI 默认值以目标 workflow 为准，展示最终生效值；覆盖用户已有选择的冲突需先解决。
- 只生成/校验/预览时完成本地工作并返回结果。用户已明确要求触发时，预检通过且 spec 位于目标远端引用后直接执行，不再次要求“现在触发”的确认。
- 不把任务授权扩展到无关推送、额外搜索或重复 dispatch。
必须保留的实验约束
- 精确绑定参数路径和类型；耦合参数通过
apply_trial()映射，避免独立搜索生成非法组合。 - 多目标为 Pareto 语义；
bayes/ga只支持单目标，算法支持情况以当前实现为准。 custom_bin不能同时使用score_txt或specific_benchmarks；当前求解运行时不支持 SMT 工作负载。max_trials等停止条件必须有来源；不把临时短跑参数带入正式搜索。- CI 输入可覆盖 spec，预检和触发必须采用同一组最终生效值。
- 解析成功、绑定通过、run 已创建、搜索完成是不同状态；报告实际验证边界。
完成标准与工具
本地任务返回 spec 路径、参数/域、目标、预算及解析/绑定结果。触发任务还返回 run URL、实际引用、状态和结论；只要求触发时确认 run 存在即可，不默认等待完整搜索结束。
scripts/solver_ci_dispatch.py：校验、dry-run、dispatch 和回查。scripts/self_test.py：离线输入回归，不触发 CI。
© OpenXiangShan, BSD-3-Clause. 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 7 other files (scripts, references) in .agents/skills/ci-param-solver of OpenXiangShan/GEM5.
- SKILL.md
- agents/openai.yaml
- references/ci-dispatch.md
- references/solver-rules.md
- references/spec-authoring.md
- references/test-scenarios.md
- scripts/self_test.py
- scripts/solver_ci_dispatch.py
Open the folder on GitHubat commit 050efbd
Compare with similar skills
CI Param Solver 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 |
|---|---|---|---|---|---|---|
| CI Param Solver this skillOpenXiangShan/GEM5 | 161 | — | ~389 | Automated safety check: Pass | BSD-3-Clause | |
| Solveratopile/atopile | 4k | — | ~2.3k | Automated safety check: Pass | MIT | |
| Accint Solvesickn33/agentic-awesome-skills | 47k | 1 repos | ~520 | Automated safety check: Pass | Apache-2.0 | |
| Search Paramspromptfoo/promptfoo | 26k | — | ~1.1k | Automated safety check: Pass | MIT | |
| Spreadsheet Manual Buildsickn33/agentic-awesome-skills | 47k | 1 repos | ~5.4k | Automated safety check: Pass | MIT | |
| JSON Schema Manualsickn33/agentic-awesome-skills | 47k | 1 repos | ~2.9k | Automated safety check: Pass | MIT |
Similar skills
Accint Solve
sickn33/agentic-awesome-skills
Route a goal through acc's scored-memory loop via accact(runtime="solve"); deliberate any returned brainframe and submit via continue.
Search Params
promptfoo/promptfoo
URL search param and hash state management. An agent skill from promptfoo/promptfoo.
Spreadsheet Manual Build
sickn33/agentic-awesome-skills
Spreadsheet Manual Build: an empty Excel workbook or CSV from a confirmed field list, formatted and validated.
JSON Schema Manual
sickn33/agentic-awesome-skills
JSON Schema Manual: draft 2020-12 validation schema from a confirmed field list, with required and enum values only where confirmed.
CSV Manual Export
sickn33/agentic-awesome-skills
CSV Manual Export: a UTF-8 CSV template from a confirmed field list, empty by default, with no invented columns or values.
More from OpenXiangShan/GEM5
All 10 skills in this repoMgsc Table Probe
OpenXiangShan/GEM5
运行或分析 MGSC 微测试的 SC 子表 A/B 实验，用分支与 MGSCTRACE 统计归因并改进测试. An agent skill from OpenXiangShan/GEM5.
Tage Trace Workflow
OpenXiangShan/GEM5
采集或分析 gem5/XiangShan TAGE trace，比较统计、热点分支和事件分叉. An agent skill from OpenXiangShan/GEM5.
CI Perf Analysis
OpenXiangShan/GEM5
定位 GEM5 性能 CI 的归档与分数，比较 run 的 benchmark 表现并用 stats 分析变化. An agent skill from OpenXiangShan/GEM5.
Frontend Pmu Analysis
OpenXiangShan/GEM5
仅做 BPU 计数器提取与批量汇总（机器可读 JSON/CSV）。配置文件只需要写原始 stats 计数器名. An agent skill from OpenXiangShan/GEM5.
CI Perf PR Report
OpenXiangShan/GEM5
为 GEM5 PR 准备或发布性能对比报告，选择可比 baseline 并汇总分数与关键计数器证据. An agent skill from OpenXiangShan/GEM5.
Gem5 Manual Perf Trigger
OpenXiangShan/GEM5
用于在本地通过 gh 远程触发 OpenXiangShan/GEM5 的 manual-perf.yml，并在触发后检查 run 是否正常创建。适用于用户明确要求触发 manual-perf、组装 gh workflow run 命令、校验 workflow 输入项、或确认触发后的 Actions run 状态。
Questions about CI Param Solver
What does CI Param Solver do?
编写或校验 GEM5 SolveSpec 参数搜索，并按请求准备或触发 manual-solve.yml. An agent skill from OpenXiangShan/GEM5. CI Param Solver is an agent skill from OpenXiangShan/GEM5.
How do I install CI Param Solver in Claude Code?
Run `npx skills add OpenXiangShan/GEM5 --skill ci-param-solver -a claude-code`. Or copy the skill folder (.agents/skills/ci-param-solver in OpenXiangShan/GEM5) into .claude/skills/ci-param-solver in your project. Claude Code loads it when a task matches its description.
How do I install CI Param Solver in Codex?
Run `npx skills add OpenXiangShan/GEM5 --skill ci-param-solver -a codex`. Or copy the skill folder (.agents/skills/ci-param-solver in OpenXiangShan/GEM5) into .agents/skills/ci-param-solver in your project. Codex loads it when a task matches its description.
Can I use CI Param Solver 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 OpenXiangShan/GEM5 --skill ci-param-solver -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/ci-param-solver, .gemini/skills/ci-param-solver, .github/skills/ci-param-solver and .opencode/skills/ci-param-solver in your project.
What does CI Param Solver need to run?
Going by SKILL.md and its folder, CI Param Solver needs Python for the scripts in its folder. Our summary lists: Python 3.
Does CI Param Solver access the network?
SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.
Is CI Param Solver 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. The check reads SKILL.md only: the scripts in the folder are not scanned, so read them before running anything.
What licence does CI Param Solver use?
CI Param Solver is published under the BSD-3-Clause licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.
How many tokens does CI Param Solver use?
About 389 tokens (SKILL.md is roughly 1.6k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full. Its references folder adds about 5.2k tokens, read only when the agent opens those files.
What are the alternatives to CI Param Solver?
Skills that share tags, products or a category with CI Param Solver: Solver (atopile/atopile, 4k stars), Accint Solve (sickn33/agentic-awesome-skills, 47k stars), Search Params (promptfoo/promptfoo, 26k stars) and Spreadsheet Manual Build (sickn33/agentic-awesome-skills, 47k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
Who maintains CI Param Solver?
OpenXiangShan (a GitHub organization) maintains it in OpenXiangShan/GEM5, which has 161 GitHub stars. The repository holds 10 skills in this directory. The repository was last updated on October 8, 2026.
Source: OpenXiangShan/GEM5 on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.