1. 홈
  2. Claude Opus 5.5
  3. No. 08

Claude Agent SDK 형식 검증

Claude Opus 5.5 · 연구 · 제작자 Boris Cherny

“Claude Agent SDK 형식 검증” 미리보기, 제작자 Boris Cherny
제작자가 공개한 영상·이미지에서 가져온 장면입니다.

짧은 프롬프트 몇 개로 Opus 5.5가 Claude Agent SDK를 Lean으로 모델링했고, 그 결과 버그와 경쟁 상태를 고친 풀 리퀘스트 16건이 나왔습니다. 제작자는 Lean도 TLA+도 잘 모른다고 말합니다.

출처와 확인

2026년 11월 11일에 원본 출처와 대조해 확인했습니다.

이번 호의 다른 작품

Opus 5.5 작품 36개 모두 보기 →
“아폴로 8호 ‘지구돋이’의 순간 재현” 미리보기, 제작자 Claude
No. 18연구

아폴로 8호 ‘지구돋이’의 순간 재현

제작자 Claude · @claudeai

“직접 조작하는 카메라 렌즈 실험실” 미리보기, 제작자 Ryan Sael
No. 01인터랙티브

직접 조작하는 카메라 렌즈 실험실

제작자 Ryan Sael · @RyanSael

“수박에 관한 짧은 이야기” 미리보기, 제작자 Claude
No. 02영상

수박에 관한 짧은 이야기

제작자 Claude · @claudeai

“말로 한 프롬프트 하나, 12시간의 작업” 미리보기, 제작자 donald
No. 03영상

말로 한 프롬프트 하나, 12시간의 작업

제작자 donald · @donaldjewkes