Show HN 뉴스
Hacker News의 Show HN, Launch HN에 올라온 새로운 프로젝트와 제품을 소개합니다.
총 2,962건·최신 업데이트
- 1122
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
- 1125
Show HN: macOS 네이티브 마크다운 렌더링 엔진을 오픈 소스로 공개했습니다
SwiftMarkdownEngine은 macOS 환경에서 SwiftUI와 TextKit 2를 활용해 네이티브 성능과 미려한 스타일링을 제공하는 오픈 소스 마크다운 엔진입니다. 위키 링크, LaTeX, 코드 하이라이팅 등 고급 기능을 모듈식으로 지원하며 개발자가 필요한 기능만 선택적으로 구현할 수 있는 높은 확장성을 갖췄습니다.
Show HN: I open-sourced a macOS native Markdown rendering engine↗github.com
- 1131
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
















