Beruf
Softwareentwickler
Beschreibung
Use this skill for high-assurance validation of reasoning, claims, and proof sketches with the repository's full workflow or direct SMT/Lean checks.
Quellsprache: Englisch
Aktualisiert
Tyler-R-Kendrick/agentic_validation
SkillsMP hat 1 Skills aus Tyler-R-Kendrick/agentic_validation gesammelt. Öffne einen Skill, um Quelle und Details zu prüfen.
- Letzte erfasste Quellaktivität
- SkillsMP-Katalog aktualisiert
- gesammelte Skills
- 1
- GitHub-Stars
- 0
- GitHub-Forks
- 0
Mit einem KI-Assistenten installieren
Diesen Prompt kopieren und in den verwendeten KI-Assistenten einfügen.
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/Tyler-R-Kendrick/agentic_validation.Skills in diesem Repository
1 Berufskategorien · 100% klassifiziert
Es werden 1 von 1 gesammelten Skills angezeigt.
Skill
Beruf
Beschreibung
Aktualisiert
Es werden 1 von 1 gesammelten Skills angezeigt.