News
Formal Agent Contracts is now listed in the Claude Plugin Registry ->
Our formal-methods plugin for multi-agent development is now available in the Claude plugin registry.
Book
Will Superintelligent AI Understand Morality? ->
When a Single Good Breaks the World — what can an AI that succeeds at alignment destroy?