https://samtaelabs.com/blog/leanstral-1-5-formal-verification-bug-detection 삼태연구소 ko 2026-07-04T12:30:35.930Z 코드 버그를 수학으로 잡는다: Mistral의 형식 검증 AI, Leanstral 1.5 https://samtaelabs.com/blog/vibe-coding-from-dev-agency-perspective 삼태연구소 ko 2026-07-04T03:00:27.984Z 바이브 코딩, 외주 개발사 입장에서 솔직하게 본다 https://samtaelabs.com/blog/why-ai-outputs-look-the-same-and-how-to-fix-it-in-dev-outsourcing 삼태연구소 ko 2026-07-03T22:30:03.142Z AI가 만든 결과물이 다 비슷한 이유, 그리고 개발 외주에서 이걸 피하는 법 https://samtaelabs.com/blog/claude-real-video-llm-video-frame-extraction 삼태연구소 ko 2026-07-03T12:30:35.984Z LLM이 영상을 "진짜로" 보게 만드는 오픈소스 — claude-real-video 분석 https://samtaelabs.com/blog/ai-era-outsourcing-development-guide 삼태연구소 ko 2026-07-02T22:30:03.091Z AI 시대에 개발 외주를 맡기는 법이 달라졌다