Lobsters: One-off Verified Transpilation with Claude