Show HN 뉴스
Hacker News의 Show HN, Launch HN에 올라온 새로운 프로젝트와 제품을 소개합니다.
총 4,111건·최신 업데이트
- 2263
Show HN: Libretto PR 에이전트 - Playwright 스크립트 실패 자동 수정
Libretto PR 에이전트는 Playwright 실행 중 오류가 발생하면 실시간 웹 페이지를 조사하여 수정된 코드가 포함된 GitHub PR을 생성합니다. 기존 인프라와 LLM API 키를 그대로 사용하면서 실패 시에만 작동하는 '수리 루프'를 추가하여 자동화 유지보수의 번거로움을 해결합니다.
Show HN: Libretto PR agents – Automatically fix failing playwright scripts↗libretto.sh
- 2266
Show HN: 포켓몬을 키워보세요 - AI 토큰 사용량으로 PokeTokenBar
PokeTokenBar는 Claude Code, Gemini CLI 등 AI 코딩 도구의 토큰 사용량을 실시간으로 추적하며, 이를 포켓몬의 부화와 진화로 연결한 게이미피케이션 앱입니다. 개발자는 메뉴바에서 비용과 사용 한도를 즉시 확인하는 동시에, 자신의 작업량에 따라 성장하는 캐릭터를 수집하는 재미를 느낄 수 있습니다.
Show HN: PokeTokenBar – Raise a Pokémon with your AI token usage↗github.com
- 2271
Show HN: Sentinel - 코드를 읽고 클릭하는 오픈 소스 QA 에이전트
Sentinel은 코드 구조를 읽어 비즈니스 흐름을 자율적으로 도출하고, Playwright와 API 요청 도구를 결합해 UI 동작과 서버 상태를 동시에 검증하는 QA 에이전트입니다. 별도의 테스트 플랜 없이도 복잡한 데이터 불일치나 백엔드 상태 머신 오류 같은 심층적인 버그를 찾아내는 데 특화되어 있습니다.
Show HN: Sentinel – open-source QA agent that reads your code before it clicks↗blog.simbastack.com
- 2274
Show HN: macOS 네이티브 마크다운 렌더링 엔진을 오픈 소스로 공개했습니다
SwiftMarkdownEngine은 macOS 환경에서 SwiftUI와 TextKit 2를 활용해 네이티브 성능과 미려한 스타일링을 제공하는 오픈 소스 마크다운 엔진입니다. 위키 링크, LaTeX, 코드 하이라이팅 등 고급 기능을 모듈식으로 지원하며 개발자가 필요한 기능만 선택적으로 구현할 수 있는 높은 확장성을 갖췄습니다.
Show HN: I open-sourced a macOS native Markdown rendering engine↗github.com
- 2280
Show HN: 모든 코딩 작업을 수행하는 AI 에이전트, Forall - 머신 검증 가능한 증명 생성
Forall은 개발자가 작성한 사양(spec)을 바탕으로 코드를 생성할 뿐만 아니라, 해당 코드가 정확함을 증명하는 기계 검증 가능한 증명을 함께 제공합니다. CLI를 통한 독립적인 에이언트 활용과 MCP를 통한 기존 IDE 연동이라는 두 가지 방식을 지원하며 현재 TypeScript, Java, Rust 언어를 지원합니다.
Show HN: Forall – An AI coding agent that generates machine-checkable proofs↗github.com














