ProvMind

Accountable agents, by construction.