用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
直接命令不会经过审查 Prompt;运行前请先检查来源。
npx skills add https://github.com/cxcscmu/SkillLearnBench --skill run2-scala-datetime-handling命令会保持在同一行。复制前请横向滚动并检查完整内容。
想先保存到本地?可下载 SkillsMP 当前能够提供的文件。
正在显示 SKILL.md
基于 SOC 职业分类
| name | run2_scala-datetime-handling |
| description | Robust temporal tokenization with Java 8 Time API and DateTimeFormatter. |
Use java.time for all date/time operations.
Handle LocalDateTime, LocalDate, ZonedDateTime, and Instant.
import java.time.{LocalDate, LocalDateTime, ZonedDateTime, Instant}
import java.time.format.DateTimeFormatter
def formatTemporal(value: Any, fmtStr: Option[String]): String = {
val isoFormat = DateTimeFormatter.ISO_LOCAL_DATE_TIME
val dateFormat = DateTimeFormatter.ISO_LOCAL_DATE
value match {
case dt: LocalDateTime =>
val fmt = fmtStr.map(DateTimeFormatter.ofPattern).getOrElse(isoFormat)
dt.format(fmt)
case d: LocalDate =>
val fmt = fmtStr.map(DateTimeFormatter.ofPattern).getOrElse(dateFormat)
d.format(fmt)
case other => other.toString
}
}
Useful for implementing UniversalTokenizer's dispatch logic.