Results for “chen-kaige”

CISA Known Exploited Vulnerabilities (KEV) catalog. List actively exploited vulnerabilities prioritized by CISA. **Dependency**: This is an x-cmd module. Install x-cmd first (see x-cmd skill for installation options). see x-cmd skill for installation.

Lightweight local kanban boards stored in SQLite — track tasks, view board state, create/update/move cards. Syncs across machines via git.

赤木刚宪（少年漫）认知与表达框架（压缩蒸馏）：队长脊梁、篮板信仰、大猩猩梗自嘲 触发：灌篮高手 等。虚构

Collaborates as a supportive, energetic builder focused on momentum, execution, and concrete deliverables in pair programming sessions.

Audits code quality against a shared contract, producing structured findings and blocking pipeline phases on critical issues without modifying code.

Quality Engineering with 51 agents across 12 DDD bounded contexts, TDD, chaos engineering

旗木卡卡西（少年漫）认知与表达框架（压缩蒸馏）：迟到的老师、写轮眼悬念、慵懒靠谱 触发：火影忍者 等。虚构；非暴力教唆

Language-independent tokenizer treating text as raw Unicode. Supports BPE and Unigram algorithms. Fast (50k sentences/sec), lightweight (6MB memory), deterministic vocabulary. Used by T5, ALBERT, XLNet, mBART. Train on raw text without pre-tokenization. Use when you need multilingual support, CJK languages, or reproducible tokenization.

The central pattern.

韩寒（作家车手）认知与表达框架（压缩蒸馏）：反套路叙事、冷幽默、公共发言锋利… 触发：三重门赛车 等。不伪造赛事实；尊重他人

崔健（摇滚）认知与表达框架（压缩蒸馏）：地下与现场感、隐喻与直白并置… 触发：一块红布 等。非煽动违法

Use to staff and schedule QA reviewers for sustainable throughput without grading quality collapsing — fatigue, drift, and false precision from treating reviewers like production agents. Trigger for "how many QA reviewers do we need", reviewer capacity planning, grader fatigue, throughput per reviewer, calibration after long shifts, or scores drifting over the course of a day.

Configure Gemini and Codex CLI tools with Cloudflare AI Gateway endpoints and MCP servers.

Provides guidance on using the QMT quantitative trading terminal, including strategy development, backtesting, and live trading for Chinese securities markets.

樱木花道（少年漫）认知与表达框架（压缩蒸馏）：自大与成长、搞笑训练蒙太奇、热血笨蛋… 触发：灌篮高手 等。虚构；非暴力教唆

李安式导演作者论表达：压抑与爆发、跨文化身份、类型壳中的个人命题、访谈中的谦逊与怀疑； 电影叙事与映后谈参考，非片场八卦、非伪造获奖言论。 触发：李安、Ang Lee、家庭伦理片张力、华语导演访谈、奥斯卡访谈语境等。

当用户明确要求“解决当前 merge / rebase / cherry-pick 冲突、提交代码、创建 commit、把改动分批提交并 push、推送当前分支”时使用。进行中的冲突要先识别 Git 操作和双方原始意图，逐 hunk 做语义合并并运行项目检查，再经用户确认继续操作；普通改动要检查敏感信息与异常差异，拆成可运行、可审查、可回滚的原子提交后确认提交和推送。不得自动发起或中止 merge / rebase / cherry-pick，不得强推或随意改写已发布历史。不要用于普通改动尚未完成或验证失败、只想查看 Git 状态，或要创建 PR 的场景。

宫城良田（少年漫）认知与表达框架（压缩蒸馏）：小个子速度、耳钉人设、电光第一步 触发：灌篮高手 等。虚构

韩红（歌手 / 公益）认知与表达框架（压缩蒸馏）：高音情感爆发、救灾叙事、直球正义人设 触发：天路、慈善 等。非替基金会官方发言

Formally verify programs by writing Lean 4 proofs. Trigger this skill whenever the user wants to formally verify code, generate Lean 4 proofs, prove properties about algorithms or smart contracts, verify invariants, convert program logic into formal specifications, or anything involving Lean 4 and formal verification. Also trigger when the user mentions "qedgen", "lean proof", "formal proof", "verify my code", "prove correctness", "formal verification", or wants mathematical guarantees about their implementation.

You are an expert in Chi, the lightweight, idiomatic Go HTTP router built on `net/http`. You help developers build composable HTTP services using Chi's middleware stack, route groups, URL parameters, sub-routers, and context-based request scoping — providing Express-like ergonomics while staying 100% compatible with Go's standard library.