Show HN 뉴스

이 프로젝트는 Lean 4를 사용하여 3D 메쉬 교차 연산을 형식적으로 검증한 사례로, 인간은 짧은 명세만 검토하고 복잡한 AI 생성 코드는 컴파일러를 통해 신뢰성을 확보합니다. 성능보다는 정확성을 우선시하여 AI가 작성한 방대한 증명과 구현 코드가 수학적 스펙을 준수함을 보장하는 것이 핵심입니다.

XY는 대규모 데이터를 웹과 노트북 환경에서 빠르고 인터랙티브하게 시각화할 수 있는 Python 라이브러리입니다. Rust 코어를 활용해 1억 개의 데이터 포인트도 밀도 기반 렌더링을 통해 초고속으로 처리하며, CSS와 Tailwind를 통한 높은 커스터마이징 자유도를 제공합니다.

Coast는 아이폰을 맥(Mac)의 물리적 제어 장치로 활용할 수 있게 해주는 애플 생태계용 생산성 앱입니다. 사용자는 매크로, 터치 링, 화면 미러링 등 복잡한 작업을 단순화된 모바일 인터페이스를 통해 직관적으로 수행할 수 있습니다.

Ventoy의 공식 설치 도구인 Ventoy2Disk를 macOS 환경에서 사용할 수 있도록 네이티브로 포팅한 프로젝트가 공개되었습니다. 이를 통해 Mac 사용자들도 별도의 OS 환경을 구축할 필요 없이 USB 드라이브에 여러 ISO 파일을 담은 멀티 부팅 디스크를 손쉽게 제작할 수 있습니다.

Etymologue는 Wiktionary 데이터를 기반으로 영어 단어의 어원, 접두사, 파생어 등을 상호 연결된 구조로 제공하는 사전 서비스입니다. 사용자는 특정 단어의 언어적 뿌리와 관련 어휘 간의 관계를 직관적으로 탐색할 수 있습니다.

Orchard는 사용자가 원하는 앱의 기능을 자연어로 설명하면 AI 에이전트가 백엔드 설정을 자동으로 완료해 주는 Agentic Cloud 플랫폼입니다. Cursor, Claude 등 주요 AI 코딩 도구와 연동되어 개발자의 인프라 관리 부담을 획기적으로 줄여줍니다.

OpenOTP는 macOS 사용자를 위해 이메일로 전송된 일회용 비밀번호(OTP)를 자동으로 감지하고 입력해주는 오픈소스 프로젝트입니다. 별도의 서버 없이 로컬에서만 작동하여 보안성이 높으며, 화면 공유 중에도 인증 코드가 노출되지 않도록 설계되었습니다.

Drever는 React와 MDX를 기반으로 한 로컬 우선(local-first) 프레젠테이션 프레임워크입니다. AI 명령을 통해 생동감 있는 모션을 구현할 수 있으며, 하나의 소스 코드로 웹 공유, 라이브 발표, PDF 변환이 모두 가능합니다.

Aidress는 AI 에이전트들이 서로를 찾고, 역량을 확인하며, 신뢰도를 검증하여 안전하게 거래할 수 있도록 돕는 통합 조정 레이어입니다. Python SDK와 MCP 서버 지원을 통해 기존 에이전트들을 레지스트리에 연결하고, 리뷰 시스템 기반의 신뢰 점수를 통해 에이전트 간의 협업 리스크를 관리합니다.

FileForge Finder는 로컬 파일을 빠르게 검색하고 그 내용을 AI 챗목에 즉시 활용할 수 있도록 최적화된 형태로 내보내는 기능을 갖춘 애플리케이션입니다. 모든 프로세스가 오프라인 및 온디바이스로 실행되어 데이터 보안을 극대화한 것이 특징입니다.

ViewKit은 데이터를 서버에 업로드하지 않고 브라우저에서 직접 읽고 렌더링하는 인터랙티브 데이터셋 뷰어입니다. Parquet, HDF5, safetensors 등 다양한 머신러닝 및 데이터 과학용 포맷을 지원하며, 데이터 보안과 대용량 파일 처리의 편의성을 극대화했습니다.

AI 코딩 에이전트들이 서로의 존재를 모른 채 동일한 파일을 수정하여 발생하는 작업 충돌과 비용 문제를 해결하기 위한 도구입니다. Heddle은 '인텐트 리스(intent lease)' 방식을 통해 작업 시작 전 충돌을 예고하고, Git 워크트리를 활용해 에이전트 간 작업을 물리적으로 격리합니다.

이 도구는 사용자가 업로드한 GPX 파일을 기반으로 경로상의 온도, 강수 위험, 실시간 공간 풍향 벡터 및 고도 변화를 시각적으로 제공합니다. Open-Meteo API를 활용해 이동 경로에 특화된 맞춤형 기상 예보를 구현한 것이 핵심입니다.

AlgoDeploy는 파이썬을 활용해 알고리즘 트레이딩 전략의 백테스팅, 리스크 관리, 실전 배포를 통합 지원하는 인프라 도구입니다. Alpaca와 IBKR 등 주요 브로커를 지원하며, 노코드(Dashboard), 로우코드(YAML), 풀코드(Python)라는 세 가지 유연한 인터페이스를 통해 누구나 자신만의 트레이딩 엔진을 구축할 수 있습니다.

PromptTrace는 프롬프트 인지 및 RAG 포이즈닝 등 최신 LLM 보안 취약점을 직접 체험할 수 있는 무료 핸즈온 학습 플랫폼입니다. OWASP의 AI 보안 표준에 맞춘 체계적인 커리큘럼과 공격 레이어를 시각화하는 기능을 통해 실무적인 방어 역량 강화를 지원합니다.

'Call Me'는 Claude Code 등 AI 에이전트가 사용자의 iPhone으로 전화(CallKit 활용)나 문자를 보낼 수 있도록 지원하는 통합 도구입니다. 사용자는 음성 답변을 텍스트로 변환하여 에이전트에 전달할 수 있으며, 이를 통해 개발 프로세스 중 중요한 의사결정을 실시간으로 수행할 수 있습니다.

_done은 AI 에이잭트가 스스로 수행하기 어려운 현실 세계의 작업을 처리할 수 있도록 다양한 API를 제공하는 서비스입니다. 사용자는 복잡한 인증 절차 없이 사용한 만큼만 USDC로 즉시 결제(Pay-per-use)하여 네트워크, 보안, 경제 데이터 등 24개 이상의 라이브 API를 활용할 수 있습니다.

Vinv는 AI 에이전트가 코드를 실행했을 때의 실제 동작(traces, metrics)을 컨텍스트로 제공하여 '코드 수정 후 테스트 실패'라는 고질적인 루프 문제를 해결합니다. RL 밴딧 기술을 통해 최적의 컨텍스트를 선택하며, 이를 통해 저가형 모델도 정교한 버그 수정과 성능 최적화를 수행할 수 있게 합니다.

Noema 3.5는 iPhone, iPad, Mac, Vision Pro를 위한 로컬 AI 워크스페이스로, GGUF 및 MLX 등 다양한 모델 형식을 지원합니다. 기기 내 데이터 검색(RAG)과 도구 연결 기능을 제공하면서도 외부 네트워크를 차단하는 '오프그리드 모드'를 통해 극대화된 프라이버시를 보장합니다.

Edge Drop은 화면 왼쪽 가장자리에 숨겨져 있다가 마우스 커서가 접근하면 나타나는 호버 활성화 방식의 클립보드 및 파일 전송 허브입니다. 텍스트, 이미지, 파일 스택 등을 드래그 앤 드롭으로 외부 앱에 즉시 전달할 수 있어 멀티태스킹 시 발생하는 컨텍스트 스위칭 비용을 최소화합니다.