ProtocolGovGuardFinGuardExplorerPlaygroundAdoptCloudTrustDocsRequest Pilot
Blog

Field notes

Working notes on AI agent authorization, MCP, formal verification, and fraud defense by action binding.

Financial · 2026-04
AI voice cloning fraud — defense by action binding
Voice authentication broke. The fix isn't a better voice model — it's moving the trust check off the voice channel entirely. Field guide for treasury, wire desks, and fraud ops.
Read post →
Formal Methods · 2026-04
How formal verification works for protocols
TLA+ proves temporal properties across runs. Alloy bounds-checks structural invariants. A primer with worked examples from the EP spec.
Read post →
MCP · 2026-04
MCP authorization best practices in 2026
Scope-level OAuth gets you to the door. For tools that move money, change infrastructure, or trigger irreversible state, you need the next layer.
Read post →
Concepts · 2026-04
What is pre-action authorization?
Sessions and scopes authorize the actor. Pre-action authorization authorizes the action — the destination, the amount, the exact parameters, before execution.
Read post →
EMILIA Protocol Blog — Pre-Action Authorization for AI Agents | EMILIA Protocol