从工作场景出发，找到开源方案

kitty-tab-note 在 kitty 终端标签上方显示大号彩色便签，让用户记住长时间运行的构建、REPL、SSH 或编码代理当前停在哪里。按快捷键输入文字即可覆盖显示，按任意键消失，原有终端内容和标题不被改写；颜色、位置和字号可用环境变量调整。它只依赖 Python 标准库，但要求 kitty 0.40 以上并启用远程控制。

gsheets-apps-script-skill 帮助团队把 Google Sheets 或 CSV 变成可运行的 Google Apps Script 与 HTML Service 方案。它既能整理和校验表格、注入查找或聚合公式，也能生成带校验的数据录入网页，并处理空表、文本日期和部署文件名等常见坑；代码仍需在用户自己的 Google 环境中部署。

Collaborative Editor 按结构、语法、措辞和连贯性依次处理草稿，先解决大问题再润色句子；每个发现都给出可选改法，也包含保持原样的选择。它把长句、括号和直白语气视为作者声音，最后可输出带真实修订痕迹的 Word 文档，以及 HTML 或 PDF 红线稿。适合希望共同编辑而不是被整篇改写的作者。

security-hardening 有审计和开发中守护两种模式：前者按栈无关的 OWASP 风格清单检查现有代码，后者在编写登录、接口或查询时持续检查安全模式。每个发现都给出严重度、文件行号和修复方式，默认拒绝未经检查的“没问题”结论，适合 Web 与 API 项目。

REM Sleep 处理代理自己的会话记录，把重要经验拆成原子化、可检索的文件，互相链接并清理噪声，同时把事件中的情绪负担与可复用教训分开。默认使用带索引和 frontmatter 的文件记忆库，若已有其他格式会先适配阶段而不强行改造。它适合在多次任务之间沉淀学习，支持 Claude Code、Codex 和 Cursor。

Immune Check 在代码、发布包、外部服务或邮件离开本地边界前扫描 API key、私钥、密码、会话 cookie、个人与健康信息、内部主机名、用户路径、构建产物和大型依赖目录。它会按环境选择 Argus、gitleaks、trufflehog、detect-secrets、git-secrets 或内置 ripgrep 检查，并记录实际使用的扫描器。适合任何技术栈的发布前门禁。

Sunset 帮助确认一个项目确实已经停止，再做简短复盘，提取可复用的代码、设计、受众和经验，最后带着墓碑标记归档而非静默删除。它会关闭遗留循环、释放长期占用的注意力，并保留可恢复路径，适合整理个人项目组合。核心原则是区分冻结与死亡，不能把仍有生命的项目误埋。

Roam 让用户用 Claude 描述一个可步行的 3D 世界，再生成单文件 HTML：CSS-3D 走廊适合滚动穿行，Three.js 房间则支持 WASD 与鼠标视角、GLB 家具和纹理。项目无需构建步骤，走廊零依赖，房间通过 CDN importmap 加载 Three.js；它仍处于早期原型阶段，复杂场景需要自行调试。

polish 是一组可装到 Claude Code、Codex CLI 和 Cursor 的技能，其中 prompt-polish 会从原始问题判断适合的提示工程策略，输出可直接粘贴的双语版本。仓库还包含文件去重、推送前风险门禁、前端设计、头脑风暴、测试驱动和系统化调试等技能。应按具体技能触发，不能把整个集合误当成单一提示改写器。

Playtime 把空闲时间用于低风险能力发展：挑选没有生产影响的沙盒，尝试陌生工具，做一次性小实验，故意用奇怪输入打破已有技能，再把意外和有效方法整理成可复用经验。它与 rem-sleep 的记忆沉淀互补，强调没有交付物才有自由探索的空间，并要求不越过安全边界。

Contemplation 让代理暂时不急着解决问题，而是检查问题是否问对、目标和价值从何而来，并把相互冲突的两端完整说清。它是独自进行、非对抗、可以不下结论的结构化思考，不等同于多角色辩论、会话复盘或记忆整理。适合面对目标选择和价值张力，而不是已经明确的执行任务。

certora-prover-skill 教 Claude Code 编写 Certora Verification Language 规格，为 Solidity/EVM 合约定义规则、不变量、ghost、hook 和方法摘要，再运行 Certora Prover 检查并诊断反例、空验证、不健全假设和超时。它强调形式证明不是抽样测试：结论只覆盖规格允许的模型，弱规格不能证明真实系统。项目是非官方社区技能。

assay 先通过访谈澄清范围、仓库、契约和可测试标准，再让自动流程完成计划、研究、实现、收敛、整理和交付门禁。机器检查负责测试、完整性和合并准备度，人在开始时确认需求、结束前确认提交或 PR 等外部动作；它能适配前端、后端、移动端、CLI、库和基础设施。

Solution Ladder 把重构、配置或接线问题拆成 Patch、Escape Hatch、Right Default 和 Wildcard 四条探索路径，每条由不知道其他方案的独立子代理实现，再由盲评审比较它们与当前代码库的契合度。它不会假定最彻底或最小的方案永远正确，而是根据消费者范围判断何时需要边界或数据模型调整。支持 Claude Code、Codex CLI 和 OpenCode。

Tokendiet 将 PDF、HTML、URL 或图片提取为精简 Markdown，并估算原始输入与 Markdown 的 token 和费用差异，方便 Claude 先读文本版。它提供 OCR、可复现基准和视觉内容损失提示；图表、复杂排版、扫描件等视觉重点内容不适合直接转换。

sign-safe 在签名之前解码不透明的 Solana 交易，从签名者视角识别权限转移、代理授权、耐久 nonce、未验证的地址查找表引用等危险结构，并输出 SIGN、HOLD 或 REJECT 及 verdict.json。核心默认离线运行，不需要密钥、RPC 或广播；SIGN 只表示符合当前静态策略，不等于普遍安全保证。

Trim Diff Noise 比较分支与 master 的差异，把每个代码块分为明确噪声、必要变更或边界项，并先输出报告。它只会自动回退明确无必要的改动，对边界项逐项询问，且用 RSpec 与 RuboCop 验证每次回退；所有回退保持未暂存，不会替用户提交。

apple-hig 让 Claude Code 依据 Apple Human Interface Guidelines 检查 iOS、iPadOS、macOS、watchOS、tvOS 和 visionOS 界面，关注平台特有的布局、交互、文字尺寸、色彩对比和 SwiftUI 代码。它会输出问题与修改建议，并支持设计 token；使用时需要 Claude Code 和获取最新指南的网络连接。