ocupação
Desenvolvedores de software
descrição
Use this skill for high-assurance validation of reasoning, claims, and proof sketches with the repository's full workflow or direct SMT/Lean checks.
Idioma do texto original: inglês
atualizado
Tyler-R-Kendrick/agentic_validation
O SkillsMP coletou 1 skills de Tyler-R-Kendrick/agentic_validation. Abra uma skill para revisar a origem e os detalhes.
- Última atividade de origem registrada
- Catálogo do SkillsMP atualizado
- skills coletadas
- 1
- Estrelas no GitHub
- 0
- Forks no GitHub
- 0
Skills neste repositório
1 categorias ocupacionais · 100% classificado
Mostrando 1 de 1 skills coletadas.
skill
ocupação
descrição
atualizado
Mostrando 1 de 1 skills coletadas.