read-eval
Use when interpreting an ICON PE solver evaluation to update optimizer guidance.
- License 许可
- Apache-2.0
- 最近更新
- 2026-08-20
- Stars
- ★ 66
- Forks
- 9
01 前言 Front Matter
- name
- read-eval
- description
- Use when interpreting an ICON PE solver evaluation to update optimizer guidance.
03 SKILL.md 正文
Use this skill when a solver eval or historical solver log needs to inform the next optimizer update.
- Extract
score,score_metric,score_components, andquest_qoi_v_by_demofromlogs/evaluate/eval_summary.jsonorscore.yaml. - Read the live target first: higher score means lower
mean_d1_d10. - Inspect
mean_d1_d4and the fulld1..d10curve before declaring a change promising. - Note whether the candidate improved the full example-count curve broadly or only at a single example count such as
d10. - When writing guidance, separate visible evidence from speculation. Cite the specific solver example and the specific score component you used.
- Prefer short, reusable lessons over one-off stories tied to a single lucky run.
Primary references:
guidance/docs/problem.mdguidance/docs/directions.mdguidance/docs/mutation_surface.mdguidance/docs/literature_notes.md
04 同仓库更多 Skills
writing-skills
Use when creating new skills, editing existing skills, or verifying skills work before deployment
theorem-search
Use TheoremSearch to find, verify, and cite mathematical theorem statements, named results, proof routes, and literature dependencies.
supervise-run
Use when monitoring a running Eve experiment and recovering from problems while it runs
run-math-proof-quickstart
Use when running a Math Proof quickstart from a user-provided problem: create a local task copy, launch a real EvE attempt, supervise it, and report proof/evaluation results.
run-circle-packing-smoke
Use when a fast end-to-end smoke run is needed for the Eve loop development, will run on circle packing task.
resume-run
Use when continuing an interrupted or paused Eve run from where it stopped (same run, same id), optionally after editing the experiment