Formal Agent Contracts — Claude Code Tools