Mattias Nyberg

新しいツールがLLMと形式検証を組み合わせて、安全なコード作成を実現するよ。