Skip to main content
skillsmp

Menu

Tyler-R-Kendrick/agentic_validation

SkillsMP a collecté 1 skills depuis Tyler-R-Kendrick/agentic_validation. Ouvrez un skill pour examiner sa source et ses détails.

Profil Tyler-R-KendrickVoir sur GitHub
Dernière activité source enregistrée
Catalogue SkillsMP mis à jour
skills collectés
1
Étoiles GitHub
0
Forks GitHub
0

Installer avec un assistant IA

Copiez ce prompt dans l’assistant IA que vous utilisez.

Skills dans ce dépôt

Développeurs de logiciels
1 catégories métier · 100% classifié

Affichage de 1 skills collectés sur 1.

validate

métier
Développeurs de logiciels
description

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

Langue du texte source : anglais

mis à jour
Affichage de 1 skills collectés sur 1.