Tyler-R-Kendrick/agentic_validation

SkillsMP 已收集 Tyler-R-Kendrick/agentic_validation 中的 1 个 Skill。打开任一 Skill 可查看来源和详情。

Tyler-R-Kendrick 资料在 GitHub 查看

最近记录的来源活动: 2026年4月12日 01:31

SkillsMP 收录数据更新: 2026年8月13日 17:36

已收集 skills: 1

GitHub 星标: 0
GitHub Forks: 0

这个仓库中的 skills

软件开发工程师

1 个职业分类 · 已分类 100%

skill

职业分类

描述

更新

validate

软件开发工程师

Use this skill for high-assurance validation of reasoning, claims, and proof sketches with the repository's full workflow or direct SMT/Lean checks.

原文语言：英语

2026-04-12

已展示 1 / 1 个已收集 Skill。