# Ai High Stakes Verifiable

> |

- **Type:** Skill
- **Install:** `agentstack add skill-r-irbe-proof-skills-ai-high-stakes-verifiable`
- **Verified:** Yes — security-reviewed for prompt injection and unsafe behavior
- **Seller:** [r-irbe](https://agentstack.voostack.com/s/r-irbe)
- **Installs:** 0
- **Category:** [Agent Skills](https://agentstack.voostack.com/c/agent-skills)
- **Latest version:** 0.1.0
- **License:** Apache-2.0
- **Upstream author:** [r-irbe](https://github.com/r-irbe)
- **Source:** https://github.com/r-irbe/proof-skills/tree/main/skills/ai-high-stakes-verifiable
- **Website:** https://github.com/r-irbe/proof-skills

## Install

```sh
agentstack add skill-r-irbe-proof-skills-ai-high-stakes-verifiable
```

Requires the [AgentStack CLI](https://agentstack.voostack.com/docs/cli). Works with Claude Code, Cursor, and any MCP-compatible agent.

## About

# High-Stakes & Formally Verifiable AI

Mathematical frameworks for AI systems where correctness, safety, and auditability are non-negotiable.

---

## Routing

- **USE FOR:** Formally verifiable AI, high-stakes AI systems, safety-critical deployment, certification, and regulatory compliance. Use for reasoning about AI systems that must be provably correct, auditable, or certifiable — medical AI, autonomous vehicles, legal decision support, military/intelligence systems, and mathematically rigorous AI governance.
- **DO NOT USE FOR:** formal verification proofs in Lean (use @lean-ai-formalization); agentic AI dynamics (use @ai-agentic-evolving); causal/deontic reasoning (use @ai-causal-deontic).
- **TRIGGERS:** high stakes, verifiable AI, safety critical, certification, regulatory compliance, AI assurance.

## Workflow

1. Identify the verification class: certification (regulatory), assurance case (engineering), or formal property (mathematical).
2. Pick the matching framework from the body (ISO 21448, ASIL, formal-property catalog).
3. Produce the verification artifact appropriate for the class — assurance argument, requirement decomposition, or property statement ready for `@lean-ai-formalization`.
4. Hand off: to `@lean-ai-formalization` for the proof, to `@applied-data-information-security` for security-specific properties, to `@lean-zettelkasten`.

## Recovery & STOP

- STOP if the property is informally argued but needs a Lean proof — hand directly to `@lean-ai-formalization`.
- STOP if the system is agentic/emergent — delegate dynamics modelling to `@ai-agentic-evolving` first.
- STOP if the certification target is jurisdiction-specific and not in the body — escalate to `@applied-legal-reasoning`.

## Handoffs

- **Predecessors:** `agent:gateway`, `skill:lean-research`.
- **Successors:** `skill:lean-ai-formalization`, `skill:lean-security-formalization`, `skill:applied-data-information-security`.

---

## Detailed reference

Full content for `ai-high-stakes-verifiable` lives in
[`references/ai-high-stakes-verifiable-handbook.md`](../../references/ai-high-stakes-verifiable-handbook.md).
Load that file when the skill is convened; the SKILL.md only carries
the dispatch contract and the parts index.

| Section | Topic |
|---|---|
| Part 1 | Verification Hierarchy |
| Part 2 | Safety Standards & Certification |
| Part 3 | Formal Safety Analysis |
| Part 4 | Provably Robust AI |
| Part 5 | Decision Support in High-Stakes Domains |
| Part 6 | Connection to Project Lean Modules |
| Part 7 | Research Directions |

---

## See also

- [`../../references/ai-high-stakes-verifiable-handbook.md`](../../references/ai-high-stakes-verifiable-handbook.md) — Full handbook (extracted from this skill)
- [`../lean-ai-formalization/SKILL.md`](../lean-ai-formalization/SKILL.md) — Successor
- [`../lean-security-formalization/SKILL.md`](../lean-security-formalization/SKILL.md) — Successor
- [`../applied-data-information-security/SKILL.md`](../applied-data-information-security/SKILL.md) — Successor

## Source & license

This open-source skill is cataloged on AgentStack and links to its original source — we do not rehost the code.

- **Author:** [r-irbe](https://github.com/r-irbe)
- **Source:** [r-irbe/proof-skills](https://github.com/r-irbe/proof-skills)
- **License:** Apache-2.0
- **Homepage:** https://github.com/r-irbe/proof-skills

Install and usage instructions live in the source repository linked above.

## Pricing

- **Free** — Free

## Security capabilities

Automated source analysis of v0.1.0 — what this tool can access:

- **Network access:** no
- **Filesystem access:** no
- **Shell / process execution:** no
- **Environment & secrets:** no
- **Dynamic code execution:** no

*"Yes" means the capability is present in the source — more access means more to trust, not that it is unsafe.*


## Versions

- **0.1.0** — security scan: passed — Imported from the upstream source.

## Links

- Listing page: https://agentstack.voostack.com/l/skill-r-irbe-proof-skills-ai-high-stakes-verifiable
- Seller: https://agentstack.voostack.com/s/r-irbe
- Browse the marketplace: https://agentstack.voostack.com/browse

---
Listed on AgentStack — the marketplace for AI agent skills and MCP servers. Every listing is security-reviewed. Creators keep 70%.