Hacker News Show

Jacobian은 AI 에이전트에게 정밀한 수학 연산과 검증 기능을 제공하는 MCP(Model Context Protocol) 서버이자 Python 라이브러리입니다. 에이전트가 가설을 탐색하면 별도의 독립적 검증기가 이를 확인하여 '검증됨(VERIFIED)' 상태를 부여함으로써, AI의 환각 문제를 구조적으로 방지하고 수학적 증명의 신뢰 경계를 명확히 구축합니다.

USBAtlas는 Linux 시스템의 sysfs를 활용해 USB 장치의 계층 구조와 USB/IP를 통한 원격 연결 정보를 추적하는 Go 언어 기반의 CLI 도구입니다. 트리, 테이블, JSON 등 다양한 뷰를 지원하며, 특정 프로세스가 어떤 USB 장치를 점유하고 있는지 확인하는 기능도 제공합니다.

Privacy Thing은 지오로케이션, Canvas, WebGL 등 1CA테고리에 걸친 53개의 브라우저 속성을 제어하여 웹 핑거프린팅을 방지하는 확장 프로그램입니다. 현재 크롬, 파이어폭스, 에지에서 프리뷰 버전을 사용할 수 있습니다.

Chronos는 50년의 해킹 역사를 담은 두 가지 터미널 기반 게임을 선보입니다. 사용자는 과거의 실제 침해 사례를 따라가며 보안 취약점의 역사와 기술적 진화를 체험할 수 있습니다.

Tilde는 AI 에이전트 구축에 필요한 MCP 서버 연동, 채팅 플랫폼 통합, 지속적 메모리 관리 기능을 모듈식으로 제공하는 개발자용 SDK입니다. 이를 통해 개발자는 보안과 확장성을 갖춘 코드 리뷰 에이전트와 같은 복잡한 자동화 도구를 최소한의 인프라 설정만으로 신속하게 배포할 수 있습니다.

10년 역사의 Go용 고성능 JSON 파서인 'jsonparser'는 구조체 정의 없이 경로 기반으로 데이터를 추출할 수 있어 매우 효율적입니다. 특히 ReqProof를 통한 형식 검증(Formal Verification)으로 L3 수준의 신뢰성을 확보했으며, 기존 도구가 놓친 치명적인 버그들을 찾아내며 안정성을 증명했습니다.

Eloqlar는 웹사이트 방문자와 텔레그램을 통해 실시간으로 소통할 수 있는 채팅 위젯 서비스입니다. 사용자는 대시보드에서 인사말, 색상, 위치 등을 설정한 후 간단한 스크립트만 복사하여 자신의 사이트에 적용할 수 있습니다.

ShowTrust는 고객 리뷰를 손쉽게 수집하고 사이트에 시각적으로 구현할 수 있는 위젯 임베드 도구입니다. 대시보드에서 레이아웃을 설정한 뒤 간단한 스크립트 삽입만으로 매소니, 캐러셀 등 다양한 형태의 리뷰 위젯을 적용할 수 있습니다.

Prizm은 여러 개의 API 키나 구독을 관리할 필요 없이 하나의 프리페이드(Prepaid) 잔액으로 비디오, 이미지, 음성 AI 모델을 사용할 수 있게 해주는 서비스입니다. 특히 Claude와 연동하여 자연어 명령만으로 최적의 모델을 선택해 결과물을 만들어내는 에이전트 기능을 지원합니다.

이 서비스는 도메인 보안의 핵심인 이메일 인증 레코드를 분석하여 취약점을 찾아내고, AI를 통해 기술적 용어를 쉬운 설명으로 변동해 제공합니다. 사용자는 단 하나의 DNS 설정만으로 구글이나 야후 등 주요 메일 서버로부터 오는 복잡한 리포트를 자동 모니터링할 수 있습니다.

Tilerost는 여러 타일링 윈도우 매니저(sway, Hyprland, i3)의 창 레이아웃을 저장하고 복원하는 통합 도구입니다. 기존의 불안정한 쉘 스크립트나 특정 WM에 국한된 솔루션 대신, IPC 프로토콜을 활용하여 정확한 레이아웃 재구성을 지원하며 보안 사고를 방지하기 위해 쉘 실행 없이 프로세스를 직접 실행합니다.

handwritten.blog는 알고리즘, 피드, 좋아요 기능 등을 의도적으로 배제한 채 오직 작성자의 사유와 기록에 집중하는 블로그 플랫폼입니다. 사용자가 글을 쓰는 속도에 맞춰 웹의 인간적인 가치를 회인하고자 하는 철학적 접근을 취하고 있습니다.

이 프로젝트는 기존 Cubic Doggo의 기능을 업그레이드하여 IMU(BNO055)를 통한 자가 균형 제어 기능을 추가하고, 서보 모터 보호를 위한 기계적 구조 개선을 달성했습니다. ROS2 기반의 제어 시스템과 최적화된 CAD 설계를 통해 저비용으로도 고성능 보행 알고리즘을 테스트할 수 있는 환경을 제공합니다.

Panini는 Gleam 프로젝트를 BEAM 런타임을 포함한 독립 실행 파일로 변환하여, 대상 시스템에 별도의 언어나 런타임 설치 없이도 앱을 실행할 수 있게 해줍니다. 크로스 컴파일과 특정 OTP 버전 선택 기능을 지원하며, 배포 프로세스를 단순화하는 데 초점을 맞추고 있습니다.

'rom'은 별도의 GUI 창 없이 터미널 환경 내에서 고전 게임을 플레이할 수 있게 해주는 경량 libretro 프론션트엔드입니다. Kitty나 Ghostty와 같은 최신 터미널 프로토콜을 활용해 그래픽과 오디오를 구현하며, 필요한 에뮬레이션 코어를 자동으로 빌드하고 관리하는 편의성을 제공합니다.

mere.run은 Apple Silicon 및 Linux 사용자를 위한 로컬 우선(local-first) 멀티모달 AI 추론 런타임입니다. 단일 CLI를 통해 이미지, 텍스트, 비디오, 3D 생성부터 API 서버 구축까지 통합된 워크플로우를 제공하며, 분산 컴퓨팅 기능인 Relay를 통해 여러 기기의 자원을 공유할 수 있습니다.

Great Spectations는 개발자가 코드 내에 명세서의 문구를 주석으로 남기면, 실제 명세 파일과 비교하여 불일치나 누락된 요구사항을 찾아주는 오픈소스 도구입니다. 명세가 변경될 경우 기존 코드의 인용구가 유효한지 즉시 확인해주며, 다양한 프로그래밍 언어와 문서 형식을 지원합니다.

Widen은 macOS 전용 오픈 소스 PostgreSQL GUI로, AI 에이전트가 스키마를 스스로 탐색하여 SQL을 초안 작성하고 실행 전 검증하는 기능을 제공합니다. 사용자는 Apple Intelligence를 통한 온디바이스 모드나 OpenRouter API를 이용한 클라우드 모드를 선택할 수 있으며, 모든 데이터 결과는 로컬에 안전하게 유지됩니다.

ZeroShot은 AI 에이전트의 세션 실행 과정을 실시간으로 기록하고 토큰 사용량, 소요 시간, 재시도 횟수 등을 추적하는 도구입니다. 특히 에이전트가 기존에 존재하는 기능을 인지하지 못하고 중복 작업을 수행하는 사례를 시각화하여 개발 팀의 효율적인 관리를 지원합니다.

고성능 GPU 없이도 실시간 얼굴 교체를 지원하는 웹 기반 앱이 등장했습니다. 이 서비스는 OBS와 같은 스트리밍 소프트웨어와 연동하여 라이브 방송 전 자신의 설정을 미리 테스트할 수 있는 환경을 제공합니다.

SKI는 AI 코딩 에이전트와 사용자가 음성으로 상호작용할 수 있게 해주는 온디동스 기반 애플리케이션입니다. 모든 음성 인식과 합성이 로컬 기기 내에서 처리되어 프라이버시를 완벽히 보호하며, 개발 중 자연스러운 대화형 워크플로우를 제공합니다.

Doodlea.day는 탄산음료 캔 드로잉을 예시로 마커 드로잉의 전 과정을 단계별로 상세히 안내하는 튜토리얼을 선보였습니다. 형태 잡기부터 색상 채우기, 디테일 완성에 이르기까지 매우 세분화된 지침과 기술적 팁을 제공하는 것이 특징입니다.

Mallary는 다양한 소셜 미디어 플랫폼에 대한 게시물 발행을 단일 페이로드로 통합 관리할 수 있는 API 서비스를 제공합니다. OAuth 인증, 미디어 규격 준수, 속도 제한 및 재시도 로직 등 각 플랫폼별 복잡한 기술적 요구사항을 백엔드에서 자동으로 처리해줍니다.

Otzar은 사용자 기기 내에서 실행되는 로컬 하이브리드 검색 엔진으로, BM25 키워드 매칭과 밀집 벡터 유사도 검색을 동시에 지원합니다. 특히 MCP(Model Context Protocol)를 지원하여 Claude Code 등 LLM 에이전트가 사용자의 문서를 직접 검색 도구로 활용할 수 있게 설계되었습니다.