Mithril: Sandboxed Tools for Secure AI Coding Agents