用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
直接命令不会经过审查 Prompt;运行前请先检查来源。
npx skills add https://github.com/cxcscmu/SkillLearnBench --skill scala-java-time-handling命令会保持在同一行。复制前请横向滚动并检查完整内容。
想先保存到本地?可下载 SkillsMP 当前能够提供的文件。
正在显示 SKILL.md
| name | scala-java-time-handling |
| description | Working with Java's LocalDate and LocalDateTime in Scala for temporal tokenization |
import java.time.{LocalDate, LocalDateTime}
import java.time.format.DateTimeFormatter
// Predefined patterns
private val isoFormatter = DateTimeFormatter.ofPattern("yyyy-MM-dd'T'HH:mm:ss")
private val dateFormatter = DateTimeFormatter.ofPattern("yyyy-MM-dd")
// Using formatter
val formatted = isoFormatter.format(localDateTime)
// Option for custom format
formatStr match {
case Some(pattern) => DateTimeFormatter.ofPattern(pattern).format(value)
case None => defaultFormatter.format(value)
}
// Or with getOrElse
val formatter = formatStr
.map(DateTimeFormatter.ofPattern)
.getOrElse(isoFormatter)
formatter.format(value)
value match {
case dt: LocalDateTime => isoFormatter.format(dt)
case d: LocalDate => dateFormatter.format(d)
case _ => value.toString
}
yyyy-MM-dd'T'HH:mm:ssyyyy-MM-ddHH:mm:ss// Store formatter as val for reuse (thread-safe)
private val formatter = DateTimeFormatter.ofPattern("yyyy-MM-dd")
// Format with fallback
def formatDate(date: LocalDate): String = {
try {
formatter.format(date)
} catch {
case _: Exception => date.toString
}
}
基于 SOC 职业分类