软件开发 - SkillsBot AI Skill技能库

Dafny验证器Skill dafny-verifier

Dafny验证器是一种用于构建带有形式化证明的验证程序的技能，支持规范编写、自动验证、引理证明和代码生成。关键词：Dafny、形式化验证、程序证明、算法正确性、验证代码、软件测试、质量保证。

添加事件类型Skill add-event-type

这是一个用于在前端信息流系统中扩展新事件类型的技术技能。主要功能包括：定义TypeScript接口、创建React组件、集成到现有类型系统、处理WebSocket消息。适用于前端开发、React应用扩展、实时消息处理等场景。关键词：前端开发、React组件、TypeScript、事件类型、WebSocket、信息流系统、UI扩展。

Proxychains网络代理技能是一个智能网络故障处理工具，能够自动检测网络连接问题并强制使用代理服务器。该技能主要解决开发者访问GitHub、PyPI、npm等国外资源时遇到的连接超时、DNS解析失败、访问被阻止等网络障碍。通过proxychains4工具，自动重定向TCP连接和DNS解析，实现透明代理功能，支持多代理链配置和故障自动切换。关键词：网络代理、proxychains、GitHub访问、网络故障排除、开发工具、代理服务器、网络加速、DNS解析、TCP重定向、透明代理。

ChatKitWidget集成技能Skill chatkit-widget

在Next.js/React应用中安全配置和自定义OpenAI/ChatKit聊天小部件的专家集成。

AllayMC插件开发Skill allaymc-plugin-dev

AllayMC插件开发技能指南，专注于使用Java或JVM语言为AllayMC服务器构建、更新和调试插件。涵盖从项目初始化、Gradle配置、插件元数据设置、生命周期管理到核心功能（命令、事件、任务、配置等）实现的完整工作流。提供官方模板参考、API版本对齐、构建部署及故障排除的详细指导，适用于插件开发者、Minecraft服务器管理员及Java后端开发者。关键词：AllayMC插件开发，Java插件编程，Minecraft服务器开发，Gradle配置，插件生命周期，事件监听，命令注册，任务调度，插件调试。

提醒守护者Skill reminder-guardian

提醒守护者是一个轻量级任务管理工具，帮助用户记录、安排和跟踪提醒事项。它通过CLI命令将提醒记录为JSON日志，并生成可直接用于定时任务系统（如openclaw cron）的蓝图，确保提醒流程可审计、可追溯。关键词：提醒管理，任务调度，CLI工具，时间管理，自动化脚本，日志记录，cron任务，个人效率工具。

SpringBootTDD工作流Skill springboot-tdd

本技能为Spring Boot后端开发提供完整的测试驱动开发（TDD）工作流指南。它详细介绍了如何使用JUnit 5、Mockito、MockMvc、Testcontainers和JaCoCo等工具，从单元测试、Web层测试到集成测试和持久层测试，确保代码质量并达到80%以上的测试覆盖率。适用于开发者在添加新功能、修复Bug或重构代码时，遵循先写测试再实现代码的TDD最佳实践，提升软件的可维护性和可靠性。关键词：Spring Boot, TDD, 测试驱动开发, JUnit, Mockito, 集成测试, 代码覆盖率, Java后端测试。

CSS模块化样式技能Skill css-modules

CSS Modules 是一种用于实现 CSS 样式作用域化和模块化的技术。本技能提供 CSS Modules 的配置、编写、组合、变量使用和主题化处理的专家指导。它帮助前端开发者在 React 等现代框架中管理组件样式，避免样式冲突，构建可维护的设计系统。关键词：CSS Modules，作用域样式，模块化CSS，React样式，前端开发，组件样式，CSS变量，主题化。

高级后端工程师Skill senior-backend

专注于后端开发模式、API设计、数据库优化和安全实践的专业技能，涉及RESTful API设计、数据库性能调优、身份验证实现、微服务构建等关键后端技术领域。

ReactNative开发技能Skill ReactNativeDevelopment

React Native 开发技能是一个专注于跨平台移动应用开发的工具集。它深度集成 React Native 生态系统，提供从项目初始化、组件开发、状态管理、导航配置到性能优化、测试和调试的全套解决方案。适用于使用 JavaScript/TypeScript 构建高性能 iOS 和 Android 应用的开发者。关键词：React Native, 跨平台开发, 移动应用, JavaScript, TypeScript, 原生模块, 性能优化, 状态管理, 导航, 测试。