Skip to main content
skillsmp

Menu

repository explorer

aresbit · Repositories and representative skills - Page 2

Repository-level view of 125 collected skills across 39 GitHub repositories.

#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)。当用户需要理解或设计芯片测试、写…
#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、哈希索引、可扩展哈希、位图索引、缓冲池、页缓存、…
#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 之外的实时内核时，必须使用本…
#17aresbit/software-architecture-design1 skills
software-architecture-design软件架构设计专家 (Software Architecture Design Expert)。基于《A Philosophy of Software Design》 (Stanford CS190) 的设计原则，为软件做架构设计、设计评审、重构建议与坏味道识别。每当用户要求 "设计这个模块/系统"、"评审这套设计/架构"、"这段代码怎么重构"、"帮我划分模块/接口"、" 这个设计哪里不好"、"如何降低这个系统复杂度"，或丢来一个架构图/代码/接口定义并要求给出设计 判断时，必须使用本技能。以内置 CS190 /…
#19aresbit/software-design-book1 skills
software-design-skill软件设计与正确性工程技能，把"代码为什么是对的"变成可写、可证、可测的工程实践。 覆盖规范与契约(前置/后置条件)、霍尔逻辑与循环不变量、抽象数据类型(表示不变量 RI / 抽象函数 AF)、子类型与相等性(Liskov 替换、__eq__/__hash__ 契约)、泛型与变型、 设计模式，以及用现代 Python(类型注解、dataclass、pytest/hypothesis 属性测试) 实现正确软件。当用户需要编写/审查/证明软件正确性、写规范或契约、设计抽象数据类型、 做属性测试、讨论继承与相等性、或问及…
#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…
#21aresbit/motor-expert1 skills
motor-expert电机专家 (Electric Motor Expert)。诊断电机故障并修复代码——尤其针对机器人上的达妙 DM 系列无刷电机 （夹爪、汽车线束插接机器人等，经 CAN 总线由 DM_CAN.py 一类驱动控制）。每当用户报告电机故障 （堵转/过载、振荡/抖动、位置漂移、过温、CAN 通信失败、使能失败、报错码 ERR、位置不准）， 或提供电机日志/串口输出/CAN 抓包/ROS 日志外加驱动代码并要求"分析现网问题并修复代码"时， 必须使用本技能。以 MIT 6.685 电机学理论（配套中文书…
#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…
#24aresbit/lecture-skill1 skills
lecture-skillCS 课程系统性学习 Skill。融合横纵分析法与结构化写作质检体系，用于深度学习一门计算机科学课程（含 lecture notes、syllabus、paper list），最终输出一份结构完整、有个人洞察的学习报告。 触发词包括但不限于：学习这门课、帮我梳理一下这个课程、研究一下这门 CS 课程、输出学习报告、课程分析、lecture notes 整理、帮我搞懂这门课。 适用于用户丢来一个课程主页（如…