홈
태그
formal-verification
태그
취소
formal-verification
1
Opus 5.5가 Lean으로 Claude Agent SDK를 "증명"한 사건
2026/09/23
인기 태그
Claude.write
AI
claude-code
vibe-coding
Material
ai-agent
Guide
Anthropic
Harness
harness-engineering