claude-skill-verilog
Verilog/SystemVerilog 编码风格和 Verilator 工作流指南
把 Skill 的源码、资源快照、README、包体和安装信号放进一个可搜索、可筛选的公开目录。
Verilog/SystemVerilog 编码风格和 Verilator 工作流指南
麦肯锡顾问式问题解决系统。从商业问题出发,通过假设驱动的结构化分析方法,生成麦肯锡风格研究报告和PPT。融合问题解决方法论、MECE原则、问题树拆解、假设形成、虚拟页设计、智能数据收集和专业PPT生成能力。
在Next.js 16+ App Router前端中HTTP/API客户端的标准模式:客户端放置位置、如何进行类型定义、如何处理错误以及如何以可重用的方式附加认证头。
当用户要求“查询Prometheus”、“分析Prometheus指标”、“检查Prometheus告警”、“编写PromQL”、“解释Prometheus数据”、“获取指标”,或提到Prometheus查询、告警或指标分析时,应使用此技能。提供查询和解释Prometheus指标以进行根本原因分析的指导。
与Ghidra和IDA Pro深度集成,用于二进制分析和逆向工程
管理多层次小说修订,同时防止级联问题。在编辑小说时使用,当某一层的更改破坏了其他层的内容时,当你需要对长篇小说进行系统性变更管理时,或者当修订不断产生新问题时使用。
React开发专家,擅长Vite、TypeScript、shadcn/ui、TanStack(Query、Table、Router)、表单和状态管理。积极应用于React + Vite项目、单页应用和客户端应用程序。
后端服务开发专家(通才)。精通多种后端技术栈,能够根据需求选择最合适的技术方案。当用户需要开发API、数据库设计、微服务架构或后端业务逻辑时使用此技能。根据用户需求的技术栈,自动切换到对应语言的专家模式:- Python → 查看 python/SKILL.md - Node.js → 查看 nodejs/SKILL.md - Go → 查看 go/SKILL.md - Java → 查看 jav…
审核前端代码库的安全漏洞和不良实践。在执行安全审查、审计XSS/CSRF/DOM漏洞、检查内容安全策略配置、验证输入处理、审查文件上传安全或检查Node.js/NPM依赖项时使用。目标框架包括Web平台(纯HTML/CSS/JS)、React、Astro、Twig模板、Node.js和Bun。基于OWASP安全指南。
MinIO S3兼容的对象存储API。使用此技能进行文件上传、下载、存储桶管理和预签名URL生成。
针对Apache PLC4X工业协议库的专业指导,包括西门子S7、Modbus、OPC-UA等协议的使用,以及与Apache NiFi的集成、连接字符串和现场寻址等内容。在进行工业自动化和PLC通信相关工作时可以参考此指南。
规划原型设计方法 - 保真度级别、工具选择、原型类型、测试策略以及从设计到开发的交接。
同步文档与实现进度。更新可追溯性矩阵、任务状态,并检测文档-代码漂移。当用户需要在开发后更新文档、验证文档-代码一致性或跟踪进度时使用。触发词包括“sync docs”、“update progress”、“doc consistency”、“同步文档”、“更新进度”、“trace”、“audit”、“文档对齐”、“进度更新”、“追溯矩阵”。不用于验证/审查(请使用devdocs-verify)或…
去除文字中的 AI 生成痕跡。適用於編輯或審閱文字,使其聽起來更自然、更像人類書寫。 基於維基百科的「AI 寫作特徵」綜合指南。偵測並修復以下模式:誇大的象徵意義、 宣傳性語言、以 -ing 結尾的膚淺分析、模糊的歸因、破折號過度使用、三段式法則、 AI 詞彙、否定式排比、過多的連接性短語。
端到端编排Jira工作流程。在构建需要审批的故事、通过生命周期状态转换项目或与Jira同步任务完成情况时使用。
将系统设计拆解为可执行、可追踪的开发任务,并解决依赖关系和进行层级分类(🔴🟡🟢⚪)。当用户需要任务拆分、冲刺计划或实施计划时使用。触发词包括“dev tasks”、“task breakdown”、“sprint planning”、“implementation tasks”、“拆分任务”、“任务列表”、“implementation plan”、“开发任务拆分”。不适用于执行任务(请使用dev…
知识库构建器,用于学习内容管理和知识系统。
移动Android代理。负责使用Kotlin/Compose进行Android应用开发。
头脑风暴工作流程完成
Linux系统管理和监控
硬件验证工具,用于检查两个RTL设计(Verilog)之间的功能等效性。当用户需要:(1) 验证两个RTL版本是否在功能上等效,(2) 比较原始与重构的RTL代码,(3) 验证设计更改或优化,(4) 识别语义与表面差异,(5) 为非等效设计生成反例时使用。分析接口对齐、状态变量、逻辑差异,并提供带有简单语言解释的详细等效性判断。特别适用于设计验证、代码审查以及RTL修改的回归测试。
用于实施文档审查的技能。在审查提案书、设计书、PRD(产品需求文档)、技术规格书等文档时使用。当提及“审查文档”、“检查提案书”、“确认设计书”、“请审查此文件”、“确认文档质量”等文档审查任务时触发。从商业与战略视角、逻辑结构、技术合理性、风险管理、表达准确性等多个角度进行评估,并提出建设性的改进建议。
Python FastAPI专家,擅长异步API、SQLAlchemy 2.0、Pydantic v2、uv包管理器以及生产模式。主动使用于Python API项目、异步调试和数据库集成。
使用多个学术数据库(PubMed、arXiv、bioRxiv、Semantic Scholar等)进行全面、系统的文献综述。这项技能应在进行系统文献综述、元分析、研究综合或跨生物医学、科学和技术领域的全面文献检索时使用。创建专业格式的Markdown文档和PDF,其中包含多种引用样式(APA、Nature、Vancouver等)的验证引用。