スカラを作ったあの人が、型システムを使ってAIエージェントを証明可能により安全にする方法を公開しました。追跡されたケイパビリティ（能力）とは、コードが文字どおり、渡されていなかったツールを呼び出せないことを意味します。プロンプトで回避できるガードレールではなく、コンパイラのルールです。