软件开发 Skill技能列表

4.5

Maintainx自动化技能Skill maintainx-automation

这个技能用于通过Rube MCP和Composio工具包自动化Maintainx任务,包括工具发现、连接管理、工作流执行和任务自动化。关键词:Maintainx, Rube MCP, Composio, 自动化, 任务管理, 工具集成, 工作流, 软件开发。

4.5

设计系统开发者Skill design-system-developer

这是一个智能路由器技能,用于Anytype iOS设计系统的上下文感知路由,包括图标、排版、颜色和间距。它帮助开发者在Figma设计稿到代码的翻译过程中高效工作,确保UI组件和设计资产的一致性。关键词:设计系统,iOS,Figma,Swift,图标,排版,颜色,间距,UI组件,移动开发,智能路由器。

4.5

Playwright夹具与钩子Skill playwright-fixtures-and-hooks

本技能教授如何使用Playwright测试框架的夹具系统和生命周期钩子来管理测试状态、创建可重用基础设施、实现高效测试设置和拆卸。适用于前端开发测试自动化,关键词包括:Playwright、夹具、钩子、测试自动化、前端测试、测试框架。

4.5

Obsidian命令行工具Skill obsidian

Obsidian命令行工具是一款用于管理Obsidian笔记和知识库的命令行界面,支持创建丰富的视觉笔记,包括LaTeX公式、图像、颜色标注、画布和图表。它适用于个人知识管理、文档编写和笔记组织,提供高级功能如元数据管理、搜索和自动化操作。关键词:Obsidian CLI, 笔记管理, LaTeX, 画布, 知识库, 命令行工具, 个人生产力, 知识管理工具。

4.5

内部通讯Skill internal-comms

此技能提供了一套资源,帮助用户高效撰写各种内部通讯,如状态报告、领导更新、3P更新等,使用公司特定的格式。关键词包括内部通讯、3P更新、公司新闻简报、常见问题解答,便于SEO搜索。

4.5

Makepad基础技能Skill makepad-basics

这个技能是关于使用Rust的makepad-widgets库进行跨平台UI开发的入门指南。它帮助开发者快速上手Makepad,学习如何编写实时设计的UI代码,处理事件,并构建适用于多个平台的应用。关键词:Rust, Makepad, UI开发, 跨平台, 实时设计, 前端开发, 入门教程。

4.5

Bear笔记CLI管理工具Skill bear-notes

这个技能用于通过命令行工具grizzly来创建、搜索、编辑和管理Bear笔记应用中的笔记,特别适用于macOS用户,需Bear应用运行并配置API令牌。关键词:Bear笔记、CLI工具、自动化管理、笔记搜索、macOS、API令牌、grizzly。

4.5

Rust借用检查器Skill rust-borrow-checker

Rust 借用检查器是一个用于实现内存安全语言中所有权和借用验证的关键技能。它通过跟踪所有权、强制执行借用规则、验证生命周期,并在编译时检测数据竞态,确保程序内存安全。适用于构建内存安全语言、实现借用检查、创建安全系统语言等场景,核心概念包括所有权、借用、生命周期和借用规则。关键词:Rust 借用检查器,所有权,借用,生命周期,内存安全,编译时检查,数据竞态检测,安全系统语言。

4.5

关系参数化证明器Skill relational-parametricity-prover

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

4.5

操作语义定义器Skill operational-semantics-definer

操作语义定义器是一种用于定义编程语言的操作语义的技能,包括小步和大步语义。它支持语言设计、语义形式化、证明程序属性以及从规范生成可执行解释器。关键词:操作语义,编程语言,语义定义,证明,解释器,语言设计,形式化方法,计算机科学理论。

4.5

测试驱动开发Skill tdd

测试驱动开发(TDD)是一种软件开发实践,通过在编写功能代码之前先编写测试用例来驱动开发过程,确保代码质量、可维护性和正确性。它遵循RED-GREEN-REFACTOR循环,强调测试作为设计工具,适用于新功能开发、bug修复和代码重构。关键词:测试驱动开发、TDD、单元测试、软件开发、RED-GREEN-REFACTOR、代码质量、测试先行。

4.5

Datadog监控与分析Skill datadog

Datadog监控分析技能,用于通过Datadog API查询和分析日志、指标、APM跟踪和监控器,帮助调试生产问题、监控应用性能或调查警报。关键词:Datadog、监控、日志分析、指标查询、APM、DevOps。