ocupación
Desarrolladores de software
descripción
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 del texto original: inglés
actualizado
Tyler-R-Kendrick/agentic_validation
- Última actividad de origen registrada
- Catálogo de SkillsMP actualizado
- skills recopiladas
- 1
- Estrellas en GitHub
- 0
- Forks en GitHub
- 0
Instalar con un asistente de IA
Copia este prompt en el asistente de IA que estés usando.
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/Tyler-R-Kendrick/agentic_validation.Cargando el README del repositorio…
Skills en este repositorio
1 categorías ocupacionales · 100% clasificado
Mostrando 1 de 1 skills recopiladas.
skill
ocupación
descripción
actualizado
Mostrando 1 de 1 skills recopiladas.