Catalogue
Two books by Abdul Kavungal (AK), in paperback and for Kindle, publishing 31 October 2026.
No. 001 · Forthcoming 31 October 2026
Verified Contracts, Specs and Proofs for Agentic Systems
An AI agent proposes an action. Something has to be able to say no, for a reason the model cannot talk its way around. This book shows you how to make Lean’s kernel that something.
Paperback 978-1-7639286-0-2 · Kindle 978-1-7639286-1-9
Coming soon · 31 October 2026No. 002 · Forthcoming 31 October 2026
An Operating Manual for Thinking and Deciding with AI
People and AI systems now share many of the decisions that matter. Each can think fast or slow, and each fails in ways you can predict. This book is an operating manual for deciding well with AI in the room.
Paperback 978-1-7639286-2-6 · Kindle 978-1-7639286-3-3
Coming soon · 31 October 2026