菜单
Mathematical optimization toolkit for competition math. LP solving, column generation, cutting-plane methods, ULP float64 polishing, and intelligent variable selection. Problem-agnostic primitives for Einstein Arena and similar platforms.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
Draft manuscript sections, format citations, and get AI peer review. Natural language invocation -- describe what you need and the skill routes to drafting, citation formatting, or peer review. Reads research profile, data analysis outputs, and literature search results for context-aware writing. After drafting, offers to generate supporting figures via viz skills. Triggers on: "draft introduction", "write methods", "format citations", "APA style", "bibliography", "peer review", "review my draft", "write abstract". Does NOT trigger for: literature search (use sci-literature-research), data analysis (use sci-data-analysis), image generation (use viz-nano-banana), repurpose/blog/lay summary (use sci-communication).
Transfer the visual style of a reference paper figure onto the user's own data. Takes a screenshot of a figure from a paper plus tabular data and produces an editable matplotlib script in that figure's register, gated by a mechanical quality floor and a Drawer/Reviewer refinement loop. Output is a self-contained .py + PNG + Type-42 PDF. Triggers on: "match this figure style", "figure in the style of", "make my plot look like this paper", "publication figure from reference", "style transfer figure", "reproduce this figure with my data", "NeurIPS-quality version of this chart". Does NOT trigger for: plain data plots with no reference image (use sci-data-analysis), AI-generated illustrations (use viz-nano-banana), flowcharts/architecture/sequence diagrams (use viz-diagram-code), hand-drawn sketches (use viz-excalidraw-diagram).
Publish and edit markdown blog posts on Substack as drafts — converts markdown to Substack's ProseMirror schema, uploads local images to Substack's CDN, pre-renders mermaid diagrams to PNG, and creates or updates drafts via Substack's private API. Draft-only by design — publish is always a human click. Triggers on: "push to substack", "substack draft", "publish to substack", "create substack draft", "send to substack", "substack this post", "update substack", "edit substack draft", "list substack drafts". Does NOT trigger for: reading existing Substack posts, subscriber management, newsletter scheduling. Does NOT publish — only creates/updates drafts you review and publish by hand.
Create new skills, modify and improve existing skills, and measure skill performance. Use when users want to create a skill from scratch, edit, or optimize an existing skill, run evals to test a skill, benchmark skill performance with variance analysis, or optimize a skill's description for better triggering accuracy.
End-of-session checklist that reviews deliverables, collects feedback, fixes skills, updates learnings, and commits work. Use when the user says "wrap up", "close session", "end session", "wrap things up", "we're done", "that's it for today", "session done", or invokes /wrap-up. Run at the end of any working session or after completing a major deliverable. Does NOT trigger for content writing, voice extraction, positioning, or audience research.
Schedule recurring tasks that run automatically via a system-level watchdog, even when Claude Code is closed. Job definitions persist in cron/jobs/ as the registry. The watchdog (launchd on Mac, Task Scheduler on Windows) checks every hour and runs due jobs headlessly via claude -p. Triggers on: "schedule a job", "cron job", "run this every morning", "automate daily", "recurring task", "set up a scheduled job", "check scheduled jobs", "list scheduled jobs", "install watchdog", "uninstall watchdog". Does NOT trigger for one-off tasks or in-session reminders.
| name | sci-optimization |
| description | Mathematical optimization toolkit for competition math. LP solving, column generation, cutting-plane methods, ULP float64 polishing, and intelligent variable selection. Problem-agnostic primitives for Einstein Arena and similar platforms. |
Reusable optimization primitives for competition math problems. LP solving, column generation, constraint management, precision polishing. Problem-agnostic; works for PNT, circle packing, Heilbronn, and similar constrained optimization problems.
Full-constraint and cutting-plane LP with scipy's HiGHS backend.
from lp_solver import LPSolver
solver = LPSolver(keys, objective_fn, constraint_fn, bounds=(-10, 10))
result = solver.solve_full(time_limit=7200)
result = solver.solve_cutting_plane(n_init=3000, max_iters=50)
Find optimal variable sets via reduced cost pricing from LP duals.
from column_generation import ColumnGenerator
cg = ColumnGenerator(lp_result, constraint_fn)
rc = cg.price_candidates(candidates, constraint_points)
best = cg.iterative_generation(initial_keys, candidates, budget=2000)
Discrete descent at ULP (Unit in Last Place) granularity for squeezing the last bits of score from a solution.
from ulp_polish import ulp_step_descent
polished = ulp_step_descent(solution, evaluator_fn, max_rounds=5)
Binary search and per-variable optimization to exploit evaluator tolerance.
from post_lp_scaling import optimal_scale, non_uniform_scale
scale, score = optimal_scale(solution, evaluator_fn)
Multiple strategies for selecting the best subset of variables.
Build constraint matrices for floor/ceil optimization problems.
Compare solutions, find patterns, decompose scores.
| Dependency | Required | Provides | Fallback |
|---|---|---|---|
numpy | Yes | Array operations, matrix math | None |
scipy | Yes | LP solver (HiGHS backend) | None |
sympy | Optional | Symbolic math for formulations | Manual formulation |
Use when: "optimize", "linear program", "LP solver", "column generation", "cutting plane", "scale solution", "ULP polish", "float64 precision", "competition math", "constraint optimization".
Do NOT use for: data analysis, statistics, plotting, hypothesis testing.