ai-high-stakes-verifiable
CommunityFormally verifiable AI for safety-critical systems
Legal & Compliance#governance#certification#auditability#high-stakes#safety-critical#verifiable-ai#lean-formalization
Authorr-irbe
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Formally verifiable AI frameworks provide rigorous correctness, safety, and auditability for AI systems where failures are unacceptable and compliance is mandatory.
Core Features & Use Cases
- Reason about and structure verification artifacts for high-stakes domains (healthcare, autonomous vehicles, defense)
- Align with regulatory and engineering standards to generate certifications and assurance cases
- Integrate with Lean-based formalization workflows and security handoffs for end-to-end governance
Quick Start
Load this skill into your agent harness and begin constructing verifiable AI artifacts using the recommended handoffs.
Dependency Matrix
Required Modules
None requiredComponents
references
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: ai-high-stakes-verifiable Download link: https://github.com/r-irbe/proof-skills/archive/main.zip#ai-high-stakes-verifiable Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 510,000+ vetted skills library on demand.