NVIDIA/OpenShell v0.1.5를 해부한다. 판정하는 슈퍼바이저와 실행되는 샌드박스를 분리하고, API 키는 플레이스홀더로만 주며, 정책 변경은 Z3 기반 prover로 검사한다. 박스에서 prover 13케이스와 규칙 수별 증명 시간을 직접 쟀다.
GitHub Trending Go 3위 agent-beacon(v1.3.45, MIT)을 해부했다. 23종 하네스 세션을 하나의 JSONL로 정규화하는 3중 수집 구조, CEL 룰팩 77개(픽스처 544개 0 실패), 5~8ms 관찰 전용 훅, 승인 게이트형 메모리,…
오늘 GitHub Trending Rust 13위에 오른 pbakaus/impeccable(Apache-2.0, 84,494 stars)을 실무자 관점에서 해부했습니다. 코딩 에이전트용 디자인 스킬(명령 24개)과 LLM 없이 도는 61개 결정론 규칙, 16개 크레이트…
오늘 GitHub Trending TypeScript 10위에 오른 thesysdev/openui(MIT, 12,768 stars)를 실무자 관점에서 해부했습니다. 한 줄 한 문장의 생성형 UI 언어 OpenUI Lang 1.0 스펙(스트리밍=배치 파싱, 가장 작은 조…
오늘 GitHub Trending 전체 일간 2위(+1,712)인 cloudflare/security-audit-skill(MIT, 34,411 stars, 릴리스 없음·HEAD c1c8a8c)을 실무자 관점에서 해부했습니다. guidance/full audit 두 모…
오늘 GitHub Trending 전체 12위·Python 6위에 오른 shiyu-coder/Kronos(MIT, 41,905 stars, AAAI 2026)를 실무자 관점에서 해부했습니다. OHLCV 캔들을 20bit BSQ 토큰(거친 10bit+세밀 10bit)으로…
오늘 GitHub Trending Python 일간 8위(+751)인 Graphify-Labs/graphify(Apache-2.0, 129,237 stars)를 실무자 관점에서 해부했습니다. v0.9.92의 detect→extract→build→cluster→repor…
오늘 GitHub Trending 전체 일간 3위(+1,414)·TypeScript 1위 anomalyco/opencode(MIT, 216,974 stars)를 실무자 관점에서 해부했습니다. 2.x(@opencode/cli v2.0.32)의 계층형 모노레포와 127.0…
오늘 GitHub Trending 전체 일간 7위(+1,146)·TypeScript 4위 stablyai/orca(MIT, v1.4.229, 96.8k stars)를 실무자 관점에서 해부했습니다. 작업마다 git 워크트리를 주는 워크트리 네이티브 모델과 orca.yam…
2026년 10월 12일~18일 GitHub Trending 주간 TOP 10을 AI 중심으로 골라 카운트다운으로 정리했습니다. REA(주간 +24만)·ArtCraft·VoiceStudio·mattpocock/skills·Diagram Design·iFixAi·Hype…