Skill 资源库

AI Skill 资源库

把 Skill 的源码、资源快照、README、包体和安装信号放进一个可搜索、可筛选的公开目录。

personjakexiao无需 Key

glm-output

读取并处理GLM输出文件。当需要从NetCDF输出中提取温度数据、转换深度坐标或计算与观测值的RMSE时使用。

download10deployed_codestar765
personjakexiao无需 Key

python-scala-collections

将Python集合操作转换为地道Scala的指南。在转换使用了列表、字典、集合,或者涉及如映射、过滤、归约、排序和聚合等集合变换的Python代码时使用。

download10deployed_codestar765
personjakexiao无需 Key

python-scala-syntax-mapping

将Python语法结构转换为Scala等效代码的参考指南。在将Python代码转换为Scala时使用,需要对基本语法元素(如变量声明、控制流、推导式、字符串格式化和常用运算符)进行映射。

download10deployed_codestar765
personjakexiao无需 Key

setup-env

当给定一个Python项目代码库时,这项技能帮助代理设置虚拟环境、安装依赖项和运行脚本。

download10deployed_codestar765
personjakexiao无需 Key

restclient-migration

在Spring Boot 3.2+中将RestTemplate迁移到RestClient。当用现代流畅API替换已弃用的RestTemplate、更新HTTP客户端代码或配置RestClient bean时使用。涵盖GET/POST/DELETE迁移、错误处理和ParameterizedTypeReference的使用。

download10deployed_codestar765
personjakexiao无需 Key

search-restaurants

从捆绑的数据集中按城市检索餐馆。在推荐用餐地点或验证目的地的餐饮选项时使用此技能。

download10deployed_codestar765
personjakexiao无需 Key

marker

使用marker_single将PDF文档转换为Markdown。当Claude需要从PDF中提取文本内容,同时保留LaTeX公式、等式和文档结构时使用。适用于包含数学符号的学术论文和技术文档。

download10deployed_codestar765
personjakexiao无需 Key

powerlifting

计算力量举成绩以确定不同体重级别举重运动员的表现。

download10deployed_codestar765
personjakexiao无需 Key

python-scala-functional

将Python代码转换为函数式Scala风格的指南。在转换涉及高阶函数、装饰器、闭包、生成器的Python代码时使用,或者在追求具有模式匹配、Option处理和单子操作的地道函数式Scala时使用。

download10deployed_codestar765
personjakexiao无需 Key

python-scala-oop

将Python类、继承和面向对象模式转换为Scala的指南。在将包含类、数据类、抽象类、继承、属性、静态方法、类方法或设计模式的Python代码进行转换时使用。

download10deployed_codestar765
personjakexiao无需 Key

vulnerability-csv-reporting

从漏洞数据生成结构化的CSV安全审计报告,包括适当的过滤和格式化。这项技能涵盖了安全报告的CSV模式设计、使用Python csv.DictWriter、基于严重性的过滤以及从JSON到表格格式的字段映射。

download10deployed_codestar765
personjakexiao无需 Key

search-accommodations

根据城市从捆绑的数据集中查找住宿。当您需要推荐某个城市的住宿地点或在构建行程前筛选住宿选项时,请使用此技能。

download10deployed_codestar765
personjakexiao无需 Key

spring-boot-migration

将Spring Boot 2.x应用程序迁移到Spring Boot 3.x。在更新pom.xml版本、移除已弃用的JAXB依赖项、将Java升级到17/21或使用OpenRewrite进行自动化迁移时使用。涵盖依赖项更新、版本变更和迁移检查清单。

download10deployed_codestar765
personjakexiao无需 Key

lean4-memories

此技能应在进行Lean 4形式化项目时使用,通过MCP内存服务器集成,在会话之间保持对成功的证明模式、失败的方法、项目约定和用户偏好的持久记忆。

download10deployed_codestar765
personjakexiao无需 Key

python-scala-idioms

当从Python翻译时,编写惯用Scala的指南。当目标不仅仅是语法上的翻译,而是生成干净、惯用的Scala代码时使用。涵盖不变性、基于表达式的风格、封闭层次结构和常见的Scala约定。

download10deployed_codestar765
personjakexiao无需 Key

python-scala-libraries

指南,用于将常见的Python库和惯用法映射到Scala的等效项。在转换使用标准库模块(如json、datetime、os、re、logging)的Python代码,或需要等效的Scala库进行HTTP请求、测试或异步操作时使用。

download10deployed_codestar765
personjakexiao无需 Key

obspy-datacenter-client

ObsPy允许您通过其客户端API轻松地从各种数据中心/网络下载地震数据。这是一个可用服务的概述以及国际数字地震仪网络联合会(FDSN)客户端API的演示。如果您需要下载地震研究数据,请使用此功能。

download10deployed_codestar765
personjakexiao无需 Key

hierarchical-taxonomy-clustering

通过基于嵌入的递归聚类,并利用加权词频分析进行智能类别命名,从任何电子商务公司的层次化产品类别路径中构建统一的多层次类别分类法。

download10deployed_codestar765
personjakexiao无需 Key

search-flights

通过捆绑的航班数据集,按出发地、目的地和出发日期搜索航班。在提议航班选项或检查某个路线/日期组合是否存在时使用此技能。

download10deployed_codestar765
personjakexiao无需 Key

search-driving-distance

使用捆绑的距离矩阵CSV来估算两个城市之间的驾车/出租车时间、距离和大致费用。在比较地面交通选项或验证行程段时使用此技能。

download10deployed_codestar765