AI

Dirac Agent: TerminalBench 최고 성능, 오픈소스 하니스 구현 분석

보안

Tendril: 스스로 툴을 생성하는 자가 확장형 에이전트 분석

보안

Entra ID Agent Administrator: Service Principal 탈취 공격 분석

보안

Government Contractor: Cybersecurity Incident 싱가포르 조사 분석

AI

Lean Theorem Prover: 정형 검증 도구 선택의 현실적 고찰