A ladder course · Cedar · Dogwood · automated reasoning · Lean

Proof-Carrying Agents

Agents now write the spec, the code and the deploy. Learn to put them under guardrails you can prove, the way AWS secures agent tool calls with Cedar and Dogwood, checked the way AWS checks Cedar itself: with SMT solvers and Lean.

0 of 6 rungs

The hands-on repo ↗ AWS: Introducing Dogwood ↗ Anthropic: AI-native SDLC ↗