#13aresbit/vlsi-testing-skill1 skillsvlsi-testing-skillVLSI 测试与可测性设计 (Design for Testability, DFT) 技能,覆盖从缺陷到故障的抽象、 故障建模(固定/桥接/延迟/耦合故障)、故障等价与压缩、逻辑与故障模拟、测试生成(布尔差分、 D 算法、PODEM、FAN)、可测性设计(扫描设计/SCOAP)、逻辑 BIST(LFSR/MISR)、测试压缩、 逻辑诊断、存储器测试(March 算法)、内建自修复(BISR)、边界扫描(IEEE 1149.1)与核基测试 (IEEE 1500)。当用户需要理解或设计芯片测试、写…24 août 2026
#14aresbit/database-dev-master1 skillsdatabase-dev-master数据库开发大师技能,基于十章数据库系统原理中文教材(B+Tree/LSM-Tree 存储引擎、事务与并发控制、 分布式数据库、查询处理与优化、关系模型与 SQL)。 当用户提及数据库、DBMS、MySQL、PostgreSQL、InnoDB、RocksDB、TiDB、Spanner、SQL、存储引擎、 存储引擎选型、B+Tree、B-Tree、LSM-Tree、哈希索引、可扩展哈希、位图索引、缓冲池、页缓存、…23 août 2026
#15aresbit/modern-golang-skill1 skillsmodern-golang-skillClaude-optimized modern Go engineering skill, fused from the JetBrains Go modernize guidelines (54 version-tagged idioms), an idiomatic-Go pattern catalog (23 design patterns), the Go 1.26/1.27 release-feature notes, and two design theories: the APOSD/CS190…22 août 2026
#16aresbit/embedded-expert1 skillsembedded-expert嵌入式系统与实时操作系统专家。当用户问及嵌入式系统、裸机编程、微控制器、寄存器操作、GPIO、中断、定时器、SysTick、ADC、DAC、PWM、UART、SPI、I2C、串行通信、有限状态机、设备驱动、TM4C123、MSPM0、ARM Cortex、Keil、嵌入式 C,或实时操作系统 RTOS、线程、任务、上下文切换、调度器、信号量、互斥锁、临界区、死锁、内存管理、堆、DMA、CAN 总线、PID 控制、模糊控制、嵌入式 Linux 之外的实时内核时,必须使用本…22 août 2026
#17aresbit/software-architecture-design1 skillssoftware-architecture-design软件架构设计专家 (Software Architecture Design Expert)。基于《A Philosophy of Software Design》 (Stanford CS190) 的设计原则,为软件做架构设计、设计评审、重构建议与坏味道识别。每当用户要求 "设计这个模块/系统"、"评审这套设计/架构"、"这段代码怎么重构"、"帮我划分模块/接口"、" 这个设计哪里不好"、"如何降低这个系统复杂度",或丢来一个架构图/代码/接口定义并要求给出设计 判断时,必须使用本技能。以内置 CS190 /…22 août 2026
#18aresbit/modern-cpp-skill1 skillsmodern-cppExpert Modern C++ programming skill covering C++11 through C++26. Use when the user needs C++ code, asks about C++ features, best practices, optimization, debugging, templates, move semantics, smart pointers, STL containers/algorithms, CMake, software design…22 août 2026
#19aresbit/software-design-book1 skillssoftware-design-skill软件设计与正确性工程技能,把"代码为什么是对的"变成可写、可证、可测的工程实践。 覆盖规范与契约(前置/后置条件)、霍尔逻辑与循环不变量、抽象数据类型(表示不变量 RI / 抽象函数 AF)、子类型与相等性(Liskov 替换、__eq__/__hash__ 契约)、泛型与变型、 设计模式,以及用现代 Python(类型注解、dataclass、pytest/hypothesis 属性测试) 实现正确软件。当用户需要编写/审查/证明软件正确性、写规范或契约、设计抽象数据类型、 做属性测试、讨论继承与相等性、或问及…21 août 2026
#20aresbit/modern-python-skill1 skillsmodern-python现代 Python 编程专家技能(Modern Python),覆盖 Python 3.10–3.14 的类型系统、数据类、模式匹配、函数式编程、测试、性能优化、科学计算与工程架构。当用户需要编写、审查、调试或优化 Python 代码,或问及 Python 特性(类型注解/PEP 695、dataclass、装饰器、生成器、上下文管理器、`match` 语句、面向对象设计、numpy/scipy/pandas/matplotlib、属性测试、性能调优、打包发布、项目架构)时使用。触发词包括:Python…13 août 2026
#21aresbit/motor-expert1 skillsmotor-expert电机专家 (Electric Motor Expert)。诊断电机故障并修复代码——尤其针对机器人上的达妙 DM 系列无刷电机 (夹爪、汽车线束插接机器人等,经 CAN 总线由 DM_CAN.py 一类驱动控制)。每当用户报告电机故障 (堵转/过载、振荡/抖动、位置漂移、过温、CAN 通信失败、使能失败、报错码 ERR、位置不准), 或提供电机日志/串口输出/CAN 抓包/ROS 日志外加驱动代码并要求"分析现网问题并修复代码"时, 必须使用本技能。以 MIT 6.685 电机学理论(配套中文书…9 août 2026
#22aresbit/cse512-data-visualization1 skillsdata-visualization数据可视化专家技能,基于 CSE 512 Data Visualization (UW, Spring 2026, Prof. Jeffrey Heer) 课程。 当用户提及数据可视化、data visualization、图表设计、D3.js、Vega-Lite、Altair、Observable Plot、 视觉编码、图形感知、颜色映射、交互式可视化、地图可视化、层次/网络可视化、不确定性可视化、 大规模可视化、可视化评估、Tufte 原则、Cleveland-McGill 感知排序、chart…12 juil. 2026
#23aresbit/cf-temp-deploy1 skillscf-temp-deployDeploy a Cloudflare Worker to a public URL with no signup or login using `wrangler deploy --temporary`. The temporary account auto-expires in 60 minutes unless claimed. Use when the user wants to quickly ship/demo a Worker, deploy without Cloudflare…20 juin 2026
#24aresbit/lecture-skill1 skillslecture-skillCS 课程系统性学习 Skill。融合横纵分析法与结构化写作质检体系,用于深度学习一门计算机科学课程(含 lecture notes、syllabus、paper list),最终输出一份结构完整、有个人洞察的学习报告。 触发词包括但不限于:学习这门课、帮我梳理一下这个课程、研究一下这门 CS 课程、输出学习报告、课程分析、lecture notes 整理、帮我搞懂这门课。 适用于用户丢来一个课程主页(如…30 mai 2026