backend-development
使用现代技术(Node.js、Python、Go、Rust)、框架(NestJS、FastAPI、Django)、数据库(PostgreSQL、MongoDB、Redis)、API(REST、GraphQL、gRPC)、身份验证(OAuth 2.1、JWT)、测试策略、安全最佳实践(OWASP Top 10)、性能优化、可扩展性模式(微服务、缓存、分片)、DevOps实践(Docker、Kuber…
把 Skill 的源码、资源快照、README、包体和安装信号放进一个可搜索、可筛选的公开目录。
使用现代技术(Node.js、Python、Go、Rust)、框架(NestJS、FastAPI、Django)、数据库(PostgreSQL、MongoDB、Redis)、API(REST、GraphQL、gRPC)、身份验证(OAuth 2.1、JWT)、测试策略、安全最佳实践(OWASP Top 10)、性能优化、可扩展性模式(微服务、缓存、分片)、DevOps实践(Docker、Kuber…
BDD驱动的数学内容验证技能结合了行为驱动开发与数学公式的提取、验证和转换,使用:- Cucumber/Gherkin进行规范定义 - RSpec进行实现验证 - mathpix-gem进行LaTeX/数学内容提取 - 通过对语法树的模式匹配来进行公式验证 通过可执行的规范支持数学属性的迭代发现和验证。
此技能提供了与预订系统交互所需的任务。
设计阶段以小的、经过验证的部分呈现设计方法
当用户要求“生成gitlab-ci.yml”时,应使用此技能
检查特定PR中的错误和警告日志。在调试PR问题、调查失败的代码审查或检查拉取请求中的错误时使用。
验证所有站点内容是否符合五个基本准则。每月或在添加重要内容后使用。
为ComputationalPaths Lean 4项目(Lake + lean-action CI)准备的一个轻量级检查清单,用于持续集成、工具链更新以及版本/发布卫生。
创建和管理OpenShift控制平面的etcd备份,以实现灾难恢复,包括自动备份程序和验证。
通过SSH检查远程服务器的CPU、内存和GPU可用性
通过bcvk(bootc虚拟化工具包)进行bootc VM管理。运行可启动的容器作为VM以进行测试。支持临时(快速测试)和持久模式。当用户需要将可启动的容器镜像作为虚拟机进行测试时使用。
云浏览器基础设施用于AI代理 - 创建会话、保持上下文以及自动化浏览器
评估Catz Android编码挑战提交是否符合SWORD Health的要求。在审查或评估此编码挑战时使用。生成一个结构化的Markdown报告,包括资历级别评估(初级/中级/高级/职员)和信心评级,涵盖需求合规性、架构、代码质量、测试和文档。
验证Misty Step产品标准:版本显示、归属、联系方式链接。所有发货产品都必须满足。由/groom作为P1基础调用。
通过基于云的快照比较,为Storybook组件自动化视觉回归测试。在设置视觉测试、捕获UI回归或审查组件更改时使用。
在CI/CD流水线(GitHub Actions、Azure DevOps)中缓存Playwright浏览器二进制文件,以避免每次构建时1-2分钟的下载开销。
设计数据和系统的备份及灾难恢复策略
代码的盲审 - 多个评审者独立进行批评,然后私下综合意见以避免群体思维
将非结构化的脑力激荡内容、文字记录和意识流笔记转化为结构化知识库内容。适用于将原始想法、会议笔记或录制的想法转换为有组织的文档时使用。
提供使用零件和CSG(构造实体几何)以编程方式构建详细结构的模式。在代码中创建建筑物、塔楼、车辆或任何逐砖构建的结构时使用。
在为媒体分发配置CDN、实现缓存失效或设计签名URL模式时使用。涵盖了CDN配置、边缘缓存、源站屏蔽以及无头CMS的安全媒体访问。
服务状态检查。在以下情况下使用:(1)“告诉我当前情况”,(2)“服务状态检查”,(3)“检查cm-*状态”。查询GitHub仓库状态及最近部署信息。
3个并行代理通过GF(3)平衡素数测地线探索代码库改进
在CI/CD管道的各个阶段协调质量工程。在设计测试策略、规划质量门或实施左移/右移测试时使用。