我會把 typecheck 看成先把可輸出答案的邊界收窄。schema 先框住格式，很多錯誤在生成階段就被擋掉了。

這個我不太確定他實際運作會是什麼樣子，但我想像中的 typecheck 是 agent 會有一張表，上面可能會有每次運作完一步需要檢核的項目，確認系統不會出錯。

有，這個叫 human-in-the-loop，大部分主流的 agent framework 都有這個設計，關鍵節點設 checkpoint，跑到那邊會停下來等人確認才繼續。我自己在 LangGraph 裡加過，幾行程式就能做到。傳產要導入的話，這個幾乎是必選的。

這題很實在，我自己會先設兩層保險：關鍵步驟要人工 approve，另外加成本上限跟異常通知。寧可多一個 checkpoint，也比跑三小時才翻車省錢。

這個 workflow 我覺得主要是嚴謹在「規劃(plan)」和「標註(Annotate)」這兩個動作，由使用者先設定好整個大致的系統架構，就像樂高說明書那樣（但可能不需要那麼詳細），確認沒問題後，再交給 agent 執行機械化的步驟。 在執行的過程中，原作者有下一個提示詞叫做「型別檢查（typecheck）」，我還不太了解是什麼意思，但我認為作者就是透過這個讓 agent 自己在運行的時候同時檢查系統有沒有出錯。 至於人工在中間卡一關我認為是可以的，因為作者也會在 Claude 在運行時下些許的提示詞來修正成果。