Skip to main content
dannylee1020
GitHub 创作者资料

dannylee1020

按仓库查看 3 个 GitHub 仓库中的 10 个已收集 skills。

已收集 skills
10
仓库
3
更新
2026-07-23
仓库浏览

仓库与代表性 skills

kkt-loop
软件开发工程师

Durable constrained optimization execution loop for long-running coding work. Use when a coding agent should capture user meaning, discover repo constraints and validation paths, build an optimization model and execution contract, create a file-backed workspace, execute with continuation, validate with evidence, re-optimize when new facts invalidate the plan, and continue through goal-mode tools until acceptance criteria or stop conditions are met.

2026-07-12
kkt-model
软件开发工程师

Deep constrained optimization modeling for coding and product-engineering decisions. Use when a coding agent should capture user meaning, discover repo constraints and validation paths, inspect the system, identify objectives, system state, decision variables, domains, hard and soft constraint contracts, selected-plan binding constraints, execution-contract implications, multiple feasible models or architectures, sensitivity analysis, and interactive user tradeoffs before any implementation.

2026-07-12
kkt-run
软件开发工程师

Execute an existing KKT model with deterministic drift guardrails. Use when a coding agent should pick up a completed kkt-model workspace, preserve the optimized model and guardrail contract, check model-readiness before mutation, implement the selected plan, validate with evidence, and finish without the long-running kkt-loop continuation machinery.

2026-07-12
kkt
软件开发工程师

Constrained optimization workflow for ordinary coding requests. Use when a coding agent should capture user meaning, discover repo constraints and validation paths, build a mathematical-style optimization model, derive an execution contract, select a feasible implementation plan, execute the change, validate with evidence, and finish with a constraint audit.

2026-07-12
已展示 3 / 3 个仓库
已展示全部仓库