仓库浏览

aresbit · 仓库与代表性 skills - 第 2 页

按仓库查看 39 个 GitHub 仓库中的 125 个已收集 skills。

#13aresbit/vlsi-testing-skill1 skills

vlsi-testing-skillVLSI 测试与可测性设计 (Design for Testability, DFT) 技能，覆盖从缺陷到故障的抽象、故障建模(固定/桥接/延迟/耦合故障)、故障等价与压缩、逻辑与故障模拟、测试生成(布尔差分、 D 算法、PODEM、FAN)、可测性设计(扫描设计/SCOAP)、逻辑 BIST(LFSR/MISR)、测试压缩、逻辑诊断、存储器测试(March 算法)、内建自修复(BISR)、边界扫描(IEEE 1149.1)与核基测试 (IEEE 1500)。当用户需要理解或设计芯片测试、写…2026年8月24日

#14aresbit/database-dev-master1 skills

database-dev-master数据库开发大师技能，基于十章数据库系统原理中文教材（B+Tree/LSM-Tree 存储引擎、事务与并发控制、分布式数据库、查询处理与优化、关系模型与 SQL）。当用户提及数据库、DBMS、MySQL、PostgreSQL、InnoDB、RocksDB、TiDB、Spanner、SQL、存储引擎、存储引擎选型、B+Tree、B-Tree、LSM-Tree、哈希索引、可扩展哈希、位图索引、缓冲池、页缓存、…2026年8月23日

#15aresbit/modern-golang-skill1 skills

modern-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…2026年8月22日

#16aresbit/embedded-expert1 skills

embedded-expert嵌入式系统与实时操作系统专家。当用户问及嵌入式系统、裸机编程、微控制器、寄存器操作、GPIO、中断、定时器、SysTick、ADC、DAC、PWM、UART、SPI、I2C、串行通信、有限状态机、设备驱动、TM4C123、MSPM0、ARM Cortex、Keil、嵌入式 C，或实时操作系统 RTOS、线程、任务、上下文切换、调度器、信号量、互斥锁、临界区、死锁、内存管理、堆、DMA、CAN 总线、PID 控制、模糊控制、嵌入式 Linux 之外的实时内核时，必须使用本…2026年8月22日

#17aresbit/software-architecture-design1 skills

software-architecture-design软件架构设计专家 (Software Architecture Design Expert)。基于《A Philosophy of Software Design》 (Stanford CS190) 的设计原则，为软件做架构设计、设计评审、重构建议与坏味道识别。每当用户要求 "设计这个模块/系统"、"评审这套设计/架构"、"这段代码怎么重构"、"帮我划分模块/接口"、" 这个设计哪里不好"、"如何降低这个系统复杂度"，或丢来一个架构图/代码/接口定义并要求给出设计判断时，必须使用本技能。以内置 CS190 /…2026年8月22日

#18aresbit/modern-cpp-skill1 skills

modern-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…2026年8月22日

#19aresbit/software-design-book1 skills

software-design-skill软件设计与正确性工程技能，把"代码为什么是对的"变成可写、可证、可测的工程实践。覆盖规范与契约(前置/后置条件)、霍尔逻辑与循环不变量、抽象数据类型(表示不变量 RI / 抽象函数 AF)、子类型与相等性(Liskov 替换、__eq__/__hash__ 契约)、泛型与变型、设计模式，以及用现代 Python(类型注解、dataclass、pytest/hypothesis 属性测试) 实现正确软件。当用户需要编写/审查/证明软件正确性、写规范或契约、设计抽象数据类型、做属性测试、讨论继承与相等性、或问及…2026年8月21日

#20aresbit/modern-python-skill1 skills

modern-python现代 Python 编程专家技能（Modern Python），覆盖 Python 3.10–3.14 的类型系统、数据类、模式匹配、函数式编程、测试、性能优化、科学计算与工程架构。当用户需要编写、审查、调试或优化 Python 代码，或问及 Python 特性（类型注解/PEP 695、dataclass、装饰器、生成器、上下文管理器、`match` 语句、面向对象设计、numpy/scipy/pandas/matplotlib、属性测试、性能调优、打包发布、项目架构）时使用。触发词包括：Python…2026年8月13日

#21aresbit/motor-expert1 skills

motor-expert电机专家 (Electric Motor Expert)。诊断电机故障并修复代码——尤其针对机器人上的达妙 DM 系列无刷电机（夹爪、汽车线束插接机器人等，经 CAN 总线由 DM_CAN.py 一类驱动控制）。每当用户报告电机故障（堵转/过载、振荡/抖动、位置漂移、过温、CAN 通信失败、使能失败、报错码 ERR、位置不准），或提供电机日志/串口输出/CAN 抓包/ROS 日志外加驱动代码并要求"分析现网问题并修复代码"时，必须使用本技能。以 MIT 6.685 电机学理论（配套中文书…2026年8月9日

#22aresbit/cse512-data-visualization1 skills

data-visualization数据可视化专家技能，基于 CSE 512 Data Visualization (UW, Spring 2026, Prof. Jeffrey Heer) 课程。当用户提及数据可视化、data visualization、图表设计、D3.js、Vega-Lite、Altair、Observable Plot、视觉编码、图形感知、颜色映射、交互式可视化、地图可视化、层次/网络可视化、不确定性可视化、大规模可视化、可视化评估、Tufte 原则、Cleveland-McGill 感知排序、chart…2026年7月12日

#23aresbit/cf-temp-deploy1 skills

cf-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…2026年6月20日

#24aresbit/lecture-skill1 skills

lecture-skillCS 课程系统性学习 Skill。融合横纵分析法与结构化写作质检体系，用于深度学习一门计算机科学课程（含 lecture notes、syllabus、paper list），最终输出一份结构完整、有个人洞察的学习报告。触发词包括但不限于：学习这门课、帮我梳理一下这个课程、研究一下这门 CS 课程、输出学习报告、课程分析、lecture notes 整理、帮我搞懂这门课。适用于用户丢来一个课程主页（如…2026年5月30日