Obsidian Bases 技能用于在 Obsidian 笔记应用中创建和编辑 .base 文件，实现类似数据库的视图、过滤器、公式和摘要功能，帮助用户高效管理和可视化笔记数据。关键词：Obsidian, 基础文件, 数据视图, 过滤器, 公式, 摘要, 笔记管理, 个人知识管理, YAML 配置, 低代码开发。

这个技能是Starlake项目中的集成测试工具，用于自动化验证数据加载和转换任务的准确性，通过比较实际输出与预期数据文件，支持多种测试选项和报告格式。关键词：Starlake测试, 数据集成测试, ETL验证, 自动化测试, 软件测试工具

这个技能专注于使用 Svelte 5 框架进行高效前端开发，涵盖 TanStack Query 的突变模式管理、shadcn-svelte UI 组件库的集成与最佳实践，以及组件组合和自我封装的设计模式。适用于构建现代化、响应式的单页应用，提升开发效率和用户体验。关键词：Svelte, TanStack Query, shadcn-svelte, 前端开发, 组件开发, 状态管理, UI 设计, 数据突变

这个技能专注于Makepad跨平台开发，提供平台支持、条件编译和平台API使用指导，帮助开发者在macOS、Windows、Linux、iOS、Android、Web等多个操作系统上构建兼容且高性能的应用。关键词：Makepad、跨平台开发、平台支持、条件编译、OsType、图形后端、前端UI。

类型类实现技能用于在编程语言中实现ad-hoc多态性和重载，通过定义类声明、实例声明等操作，支持类型安全的多态操作，常见于Haskell、Rust和Scala等语言。关键词：类型类、多态性、编程语言、Haskell、Rust、Scala、重载、类型安全。

这是一个用于实现和理解lambda演算解释器的技能，帮助开发者掌握传值调用和传名调用评估策略，适用于函数式编程学习和实践。

行多态性是一种类型系统技术，用于实现可扩展的记录和变体类型。它支持结构化的多态性和类型推断，适用于编程语言设计、对象系统和类型安全的数据查询。关键词：行多态性、可扩展记录、类型系统、编程语言、对象系统、数据库查询。

这个技能用于证明关系参数化定理并推导自由定理，主要应用于编程语言理论中的抽象边界证明、多态性推理和程序属性推导。关键词包括：关系参数化、自由定理、类型理论、多态性、证明自动化，便于SEO搜索。

寄存器分配器是编译器的关键优化组件，用于将虚拟寄存器映射到物理寄存器，提升代码执行效率。通过图着色、线性扫描、合并和溢出代码处理，优化编译器后端、JIT编译和GPU着色器。关键词包括：寄存器分配、编译器优化、图着色、线性扫描、活性分析、SSA形式、溢出代码。

系统化调试技能是一个四阶段调试框架，用于在软件开发中确保找到根本原因后再进行修复，避免随机猜测和症状修复。它包括根因调查、模式分析、假设测试和实施阶段，提高调试效率、减少错误并支持SEO关键词如调试、根本原因、系统化、软件测试、错误修复和质量保证。

这个技能用于使用GitHub CLI高效管理和解决GitHub Pull Request上的评论和反馈，涉及自动化处理代码审查流程。关键词：GitHub CLI, 代码审查, PR评论, 自动化, DevOps工具, 版本控制。

测试驱动开发是一种软件开发方法，强调在编写实现代码前先编写测试用例，通过Red-Green-Refactor循环确保代码质量和功能正确性，避免技术债务，适用于功能开发、错误修复和重构。关键词：测试驱动开发，TDD，软件测试，敏捷开发，代码质量，Red-Green-Refactor。