principle-type-system-discipline
一项关于静态类型语言类型系统纪律的技能,主张让非法状态无法被表示、对原始类型做品牌化区分、在边界处解析外部数据、避免误导编译器的强制类型转换,并要求对和类型做穷尽匹配。
找到适合任务的 Agent Skill,阅读介绍并复制安装命令。
更新于 11-15 00:13
253,185 个结果
一项关于静态类型语言类型系统纪律的技能,主张让非法状态无法被表示、对原始类型做品牌化区分、在边界处解析外部数据、避免误导编译器的强制类型转换,并要求对和类型做穷尽匹配。
verify-commands 是来自 mdsmithaustin/pstack 的一项技能,用于编写或评审“验证命令”——也就是判断某项工作是否已完成的可执行检查,例如测试调用、验收检查、CI 门禁、shell 断言等。其核心观点是:验证命令本质上是一种验收测试,在交付之前必须能回答“如果这条命令实际上什么都没做,输出里有什么能告诉我?”,否则它只是命令而非检查。该技能要求为每个可运行检查标注失败方向(如非零退出、摘要行出现 0 passed、缺少覆盖率行、stderr 出现 ECONNREFUSED),并强调“命令失败”“出现错误”只是复述而非信号,TBD、N/A、none 属于拒答;N 条命令需要 N 条失败信号。还要求为每条路径提供依据(继承仓库中已验证可用的命令、确认目录与清单文件存在、优先使用 npm --prefix 而非 cd),并列出一系列“看似通过实则未度量”的陷阱及替代写法,以及评审他人命令时应报告而不臆造替代路径。
为经济学论文生成出版级图表的技能,提供统一学术风格、清晰坐标轴与图例,并支持高分辨率PDF或PNG导出。
LightSpeed VT 视频培训平台集成技能,通过 Membrane CLI 管理与访问机构、用户、课程、培训任务等数据,适用于需要与 LightSpeed VT 交互的场景。
SugarCRM 集成技能,通过 Membrane CLI 连接 SugarCRM,管理 CRM 与销售数据、记录及工作流,适用于需要与 SugarCRM 数据交互的场景。
面向 WinUI 3 应用的构建与运行工作流技能,基于 WinApp CLI 0.7+,涵盖用 winapp new 创建项目、为应用项目添加 NuGet 分析器、以项目模式 winapp run 运行、Native AOT 发布、崩溃诊断及常见错误修复。
winui-ui-testing 是微软 win-dev-skills 中面向 Windows 桌面应用的自动化 UI 测试技能。它基于 Windows UI Automation(UIA),通过 WinApp CLI 0.7+ 的 `winapp ui` 命令生成批量测试脚本,一次性运行全部测试。由于使用 UIA,基于 AutomationId 的工作流适用于任何 Windows 桌面框架,无论应用是否打包。该技能提供 list-windows、inspect、search、get-property、get-value、wait-for、invoke、click、set-value、focus、scroll-into-view、send-keys、hover、drag、touch、pen、screenshot、record 等核心动词,并支持在 Windows Sandbox 中执行以隔离合成输入。测试脚本在宿主机运行,部署、应用启动和 `ui --on sandbox` 在来宾环境执行。技能强调用结构化结果和截图进行视觉验证,UIA 通过不能替代视觉审查。
Azure Firewall 智能体技能,面向 Azure 防火墙的排错、最佳实践、选型决策、架构设计、限制配额、安全、配置、部署与集成,提供本地速查索引与远程文档获取指引。
面向 Azure Machine Learning 开发的专家技能,覆盖故障排查、最佳实践、决策、架构设计、配额限制、安全、配置、集成与部署,结合本地速查内容与远程文档获取能力。
面向 Azure Sentinel(Microsoft Sentinel)开发的专家技能,提供故障排除、最佳实践、决策、架构设计、配额限制、安全、配置、集成与部署等指导,结合本地速查内容与远程文档抓取能力。
这是一个用于构建自动化“对手基础设施追踪系统”的网络安全技能,使用 Python 结合 dnspython、python-whois、shodan、networkx 等库实现。系统通过被动 DNS、证书透明度日志、WHOIS 注册数据和 IP 富化,发现、映射并监控威胁行为者的命令与控制(C2)网络。攻击者常在多个行动中复用托管服务商、注册商、SSL 证书和命名模式,分析师可借助基础设施跳转(IP 跳转、域名跳转、WHOIS 跳转、证书跳转、NS/MX 跳转)从已知指标发现新基础设施。技能涵盖被动 DNS 历史解析查询、反向 IP 查询、WHOIS 查询、从种子指标递归跳转、构建基于 NetworkX 的基础设施关系图、识别集群与枢纽节点、按模式监控新注册域名,并生成基础设施追踪报告。
基于 Redis 的 API 滥用检测与限流实现技能,涵盖令牌桶、滑动窗口、固定窗口算法及自适应限流,用于防御 DDoS、暴力破解、撞库、API 抓取与资源耗尽攻击,并提供 NGINX 配置与标准限流响应头示例。
Granola 的 Printing Press CLI 技能,通过 granola-pp-cli 命令行访问会议笔记、转录、AI 面板、审计事件与 webhook,并提供离线 SQLite 跨会议检索、参会人时间线、MEMO 流水线等能力。
该技能通过 trustpilot-pp-cli 命令行工具读取 Trustpilot 公开评论数据,支持按域名或名称检索公司评论、获取好评差评样本、对比多家公司、本地同步评论并用 SQLite 离线检索,适合研究与舆情分析。
eli5 是一个“像给5岁小孩解释”的沟通模式技能,用耐心、友好的家长口吻简化说明,同时压缩输出 token。提供 easy、chill、quick 三个级别,默认 chill,可用 /eli5 easy|chill|quick 切换。
Angular CDK(Component Dev Kit,组件开发工具包)是 Angular 官方提供的无样式组件行为与交互工具库,当前资料标注版本为 21.0.3(2026 年 2 月)。它面向需要构建自定义 UI 组件的开发者,提供无障碍、拖放、浮层、传送门(Portal)、虚拟滚动等底层能力,但自身不含 Material 视觉样式。资料中的标签包括无障碍、拖放、浮层、虚拟滚动与传送门。其 API 变化记录了 CDK 浮层改用浏览器内置 popover 以改善无障碍、Angular 19 基于 signal 的 API 集成、改进的焦点管理(cdkTrapFocus、cdkFocusRegion)、拖放列表间复制增强,以及旧版浮层策略被弃用。使用方式以独立组件导入对应模块为主,涵盖 OverlayModule/PortalModule 构建下拉与提示、CdkDragDrop 实现可排序列表、ScrollingModule 虚拟滚动、Portal 动态挂载内容、A11yModule 无障碍工具以及 LayoutModule 响应式断点。资料未提供收费、价格、平台限制等信息。
用于在轻量级 DSH Web 插件中引入重量级浏览器依赖(如 mermaid 等图表/图形渲染器、代码编辑器、大型 wasm 相关库)的集成清单。核心思路是按需懒加载重代码,并在加载失败时优雅降级,兼顾小客户端包体与功能完整性。
Gemini Designer 是一个依托 Gemini 的 UI、UX 与视觉设计顾问技能,通过全局 gemini-designer CLI 调用,用于界面评审、交互流程评审、组件选型、艺术方向与轻量设计产物生成。
该技能用于审查幻灯片内容与代码仓库中代码示例的一致性。使用前需先通过 pdf-to-markdown 技能将 PDF 转换为 Markdown,然后逐项核对幻灯片与仓库代码、概念是否吻合,指出错误、不一致或需要澄清之处,并给出具体改进建议,同时校验所有 URL 和文件名是否有效。
介绍 Vue 状态管理模式的技能,涵盖 props、自定义事件、reactive() 简易 store 与 Pinia,用于在多个组件间共享和同步响应式状态。
将参考图或简要描述解码为可编辑的半色调纸张拼贴规范,默认用 Codex 内置 image_gen 生成品牌一致的静帧与透明图层,再用本地 FFmpeg 或 HyperFrames 制作从空背景逐件组装的确定性拼贴动画。
基于火山引擎豆包 ASR 词级时间戳,为最终旁白音频或合并后视频生成字幕产物的技能。以最终音轨为唯一时间基准,输出 captions.json、SRT、VTT 及质量校验文件,交付前需通过 caption-qc 校验。
assimovt-productskills 是一个面向产品经理的技能集合,含 16 项聚焦产品全生命周期的技能,覆盖用户访谈、问题验证、JTBD、研究归纳、机会映射、竞品分析、定位、战略、优先级、范围裁剪、押注评估、PRD、发布计划、指标框架、实验设计和路线图规划,每项附示例。
该技能用于与跨职能伙伴就设计质量、范围与时间进行协商,主张以证据和共同目标为依据,而非品味或权威。资料来自目录存根,完整技能指向 Owl-Listener/designer-skills。