지금 1위
modern-web-guidance
코딩 에이전트를 최신 웹 베스트 프랙티스로 최신 상태로 유지하세요
Show HN436점 · 댓글 145Bsky반응 24 · 답글 5불러오는 중입니다…
공개 저장소에서 찾아 모은 프로젝트입니다. ‘AI’는 저장소에 남은 AI 코딩 도구 흔적으로, ✓는 메이커가 도메인을 확인한 곳에만 붙습니다. 어떻게 고르나요
공개 69,625 · 이번 주 새로 생긴 57 · 새 버전 낸 프로젝트 8,147 · 이번 주 = 어제 자정까지 7일
Bluesky·Hacker News에서 이야기된 AI로 만든 프로젝트 · 30분마다 확인
샌드박스 AI 에이전트, 숨은 옵저버로 행동 관찰·평가, 오픈소스·로컬, 검증 가능한 증거 제공
DBDelve는 Rust 기반 빠른 다중 엔진 데이터베이스 클라이언트, 무료 오픈소스, 텔레메트리 없음
RAM보다 큰 MoE 모델을 실행합니다
오픈소스 AI 기반 소셜 미디어 관리, 45개 채널 예약·단일 인박스 회신·앱 내 디자인·자체 키로 AI 실행, 월 $9부터 무료 시작
Open Net Worth는 직접 운영하는 오픈소스 개인 AI 자산 비서로, 전체 재무를 하나의 원장에 기록하고 사용자가 제어하는 AI가 관리
저장소에서 AI 코딩 도구 흔적을 확인한 공개 프로젝트 · 최근 등록순입니다.
글을 쓰거나 말하고 스타일을 선택해 흥얼거리면 Musix가 노래를 만들어 줍니다 맥·윈도우 무료
클립을 올리고 조회수를 확인해 USDC로 보상을 받습니다
각 필드의 비용과 수익을 연도별로 보여줍니다 가상 데이터와 영상 데모 포함
ReBloom은 스트레스·우울·불안·강박을 다룬 픽셀 아트 게임이며 모든 사실에 출처가 있습니다
오픈소스 MCP 서버에 47개 항공우주 엔지니어링 도구가 포함돼 비행계획·궤도역학·로켓·공기역학·최적화를 지원합니다
NBA에 활약한 모든 스페인 선수들의 완전 데이터베이스, 통계·시즌·플레이오프·수상·역대 기록 포함
첫눈에 가격과 스펙 확인, 검증된 차량과 1코루나부터 시작하는 경매
UC00615(스택 A·PHP) 모의시험, 45문제 전체 또는 블록별, 채점·해설·진도 브라우저에 저장
CPU 네이티브 연관 메모리 데이터베이스 공유 패턴을 학습하고 부분 단서로 회상 AGPL‑3.0 전용 오픈소스
지원 중인 채용 정보를 관리하고 미국 전용이 아닌 원격 직무를 찾을 수 있음 무료이며 회원가입 없이 브라우저에 목록이 저장됩니다
Dan Hitchens가 만든 Atari 2600용 Berzerk
Warren Robinett의 Adventure, Atari 2600용 원본 카트리지 설명을 번역하고 실제 ROM을 프레임별로 검증
Data East의 Burger Time 아케이드 게임을 원본 ROM 설명서대로 번역하고 실제 ROM을 프레임별로 검증
여러 iCal 피드를 하나의 구독 URL로 합칩니다 .ics 링크를 붙여 하나의 주소로 모든 캘린더 앱에서 구독
차분한 시작 페이지 검색하고 만들고 읽거나 듣던·묻던 내용을 이어갑니다
Coleco의 Donkey Kong을 Atari 2600용으로
David Crane의 Pitfall!을 Atari 2600용으로 원 카트리지 설명서를 그대로 번역하고 실제 ROM을 프레임별로 검증
AI 에이전트 팀과 협업할 수 있는 무료 오픈소스 데스크톱 앱
인터랙티브 위젯·Apple Shortcuts·휴대용 데이터로 개인 습관을 추적하는 무료 오픈소스
직접, 재검토, 탐지, 알림
VDTelemetry exports Farming Simulator 25's live game state, and VDTerminal turns it into a dashboard on any browser, tablet or phone - one that can also drive the machine and run the farm.
베이지안 진화 분석을 위한 샘플링 트리
SolidWorks 없이 SLDPRT·SLDASM·SLDDRW 파일을 읽습니다
배송 송장을 디지털로 촬영·서명·보관합니다 물류팀을 위해
LaTeX 이력서를 대화식으로 수정합니다 실시간 PDF 로컬 모델 손 없이
채용공고는 직접 올린 것이며 다른 곳에서 수집한 것이 아닙니다
Jamf 플랫폼 API용 통합 CLI 1,788명령 전부 지원 클릭 없이
2~8인용 개인 거실, 동기화 시청·실시간 얼굴·추억 공유, 앱·가입 없이 링크만 열면 됩니다
소프트웨어 스튜디오와 팀을 위한 무료 프로젝트 관리
ProfessorQuantumUniverse의 작은 웹 도구·데모·실험 모음
핵심 NATS 위에 구축된 오픈소스 다중 테넌트 MQTT 브로커
AI 에이전트를 명확한 권한·정책으로 운영하고, 검증 가능한 증거를 제공해 기업·MSP·MSSP용 관리형 AI 거버넌스 서비스를 지원합니다
8개 과목의 노트·플래시카드·실제 기출문제 제공, 무료이며 브라우저에서 바로 사용
BadgeBar가 앱의 읽지 않은 수를 macOS 메뉴바에 표시해 Dock을 숨겨도 새 소식을 확인 가능
BorderReady, 영국에서 독일·프랑스·네덜란으로 팔레트 운송을 예약합니다
당신의 말과 사진, 목소리를 담아 두면 필요할 때 열어볼 수 있어요
몇 초 만에 온라인 투표 만들기
두 환경을 비교하는 cmc-checker
실시간 환율로 50개 이상의 통화를 즉시 변환, 무료·빠름·회원가입 불필요
수소, 바이오매스, 복합 사이클, 태양, 풍력 5개 발전소를 조합해 미래 발전소를 켜세요
waterhole.toot.io가 Waterhole로 Mastodon 가입을 관리하고, 내 인스턴스의 사용자 그룹을 가져오는 방법
복잡한 구도 고민 없이, 내가 원하는 모습 그대로 가장 빛나는 순간을 사진으로 남겨보세요.
모든 Avalanche L1 실시간 스크리너, 현재 TPS·검증인·네트워크 점유율·7일 추이와 비교 가능한 감시 목록 제공
Canvas를 연결하면 Makullveny가 하루 일정을 짜고, Lock In은 Selah를 통해 실제 작업과 친구 현황을 보여줍니다
Markdown 문서에 계산 기능이 내장됩니다
.NET 공통 유틸리티 라이브러리
학교용 무료 오픈소스 데스크톱 앱, 사물함·잠금코드·라벨·편지 관리, Windows·Mac 지원, 데이터는 학교에 보관
CSCAprepa는 실제 같은 모의고사와 적응형 연습, 맞춤 해설을 제공하는 CSCA 대비 서비스
안드로이드·윈도우·아이폰·브라우저에서 즐기는 무료 시간제한 레이싱 게임
SSHPeaches는 안드로이드용 무료 오픈소스 SSH·SFTP·SCP·Mosh 클라이언트
콘텐츠를 연결해 채팅·행동·미팅 예약·전환까지 가능한 맞춤 AI 에이전트를 코딩 없이 몇 분 안에 웹사이트에 적용
웹 스튜디오·프리랜서용 가동시간·SSL·도메인 모니터링, 텔레그램 알림·화이트라벨 페이지·클라이언트 통합, 베타 무료
레스토랑 재고를 주머니에 담아 실시간으로 가상 데이터로 체험
타입힌 파이썬으로 반응형 웹앱을 만들고 서버 렌더링·공유 상태·npm 없이 구현
CultureMesh는 출신지와 현재 거주지를 기준으로 사람들을 연결합니다. 언어·출신지를 검색해 네트워크를 찾거나 새로 만들 수 있습니다
전 세계 경제를 디스크 사용량 분석기 형태의 썬버스트로 시각화, 국가·산업·기업을 보여준다
연락처·캠페인·자동화를 한 공간에 Softema Hub를 만나 데모 확인
강연 중에 휴대폰으로 Lig 4 멀티플레이어 게임
견적을 음성으로 입력하고 WhatsApp으로 공유합니다
전투 결과에서 DPS, HPS, 받은 데미지·오버힐·사망 수 등을 바로 읽어오는 전투 미터
브라우저에서 알고리즘으로 만든 원본 음악, 선택적 힐링 파동 레이어 제공, HTML 파일 하나로 계정·추적 없이 이용 가능
강력하고 사용하기 쉬운 파이썬 바이너리 분석 플랫폼, 디컴파일·심볼릭 실행 등을 하나의 스크립트 툴킷에 포함
반려견 분리 훈련, 일정·타이머·실시간 카메라·기록 제공 iPhone·Mac·Windows 지원
퀴즈로 세계를 알아봅니다
Describe a scene and get a printable black-and-white coloring page in under a minute. Free for 2 pages a day, no signup. For parents, teachers and Etsy or KDP sellers.
Tuki: save exact drop locations, navigate, keep a driving diary and fill your weekly timesheet from the tacho.
3D 브라우저 자동차 공장·오픈타운 게임, 라인에서 만들고 안개 속 주행·법망 피함
WashUp가 주변 세차장을 찾아 서비스·가격·평가를 보여주고, 원하는 시간에 예약하고 세차 진행 상황을 확인합니다
무료 KSeF 청구서, 은행 연동, 근무시간, 휴가·출장을 한 곳에
AI 작업용 진지한 스크래치패드, 키보드 우선 경량 설계, 데이터는 사용자가 소유한 파일에 보관, 무료 오픈소스
Django 서비스 계약: 파라미터·권한·검증·출력을 한 번 선언하고 모든 전송 방식으로 호출
Telegram은 보안과 속도에 중점을 둔 클라우드 기반 모바일·데스크톱 메신저 앱이다
Dazzi는 파일 내용을 이해하는 AI 파일 관리자이며 Mac과 Windows에서 질문만 하면 자동으로 검색해준다
오픈소스 멀티모달 검색 엔진
Chemotaxis III의 부분 Lean 4 형식화와 명시적 검증·조건부·제외 범위 원장
Captih는 튀니지아어 다리자를 실제로 전사하는 최초의 음성‑텍스트 도구다
바다를 이해하고 항해하기 위한 오픈소스 도구와 데이터, 조수 예측·수심도 등 제공
Jtrac은 직접 호스팅하는 무료 오픈소스 이슈 트래커로 워크플로우·필드·보드·타임라인·REST API를 설정할 수 있다
가장 최신식이며 정교한 취약 웹 애플리케이션으로 보안 교육·데모·CTF에 활용됩니다
Docs·Sheets·Slides·Drive·Notebook을 하나에 담은 무료 오픈소스 앱
MyAnimeList API를 활용해 애니와 만화를 찾아보고, 스트리밍하고, 추적합니다
어떤 도시든 실시간 날씨·예보·대기질·현지 시각·환율을 제공하고, 최대 4개 도시를 나란히 비교합니다
Express Entry CRS(含 2026-11-03 新规)与安省 OINP Workforce Priority EOI 分数计算:时间线、提分建议、雅思 CLB 对照表。填写内容只保存在本机浏览器。
Forjr는 전체 앱을 위한 프레임워크로, 테이블·함수·플로우·React 화면을 정의로 사용해 하나의 엔진으로 실행하고 한 번에 검증합니다
26개 언어로 제공되는 메카 주변 출입구·화장실·주차·서비스 인터랙티브 지도
휴가, PN, 의사 및 팀 전체의 재택근무를 한 곳에
무엇이든 새로운 독일어 단어를 만들어 보세요 Frame Weave의 실험입니다
A1‑C1 수준 독일어를 위한 무료 간격 반복 학습기, 250개 이상 카드·오디오·동사 활용 연습 제공
subs는 클라우드용 무권한 에이전트 하네스로, 로컬·클라이언트·서버에서 실행됩니다
MailRules는 iCloud·Fastmail·IMAP 메일함용 평문 규칙으로, 앱 비밀번호로 서버에서 메일 도착 즉시 파일링합니다
여러 통화로 수입·지출을 기록하고 예산·목표를 관리하며 오늘 환율로 순자산을 확인한다
한 번의 명령으로 설치하고 한 번 로그인하면 Neuron이 코드를 읽고 편집·테스트합니다. 호스팅 모델은 매일 무료 이용
대학 과제
블루투스로 배터리 실시간 데이터·DC 포트·USB‑C 제한·스케줄을 관리합니다. 무료 다운로드, 인앱 구매 제공
브라우저에서 무료로 Rise of the Half Moon을 플레이해 달 모양을 맞추고 월주기를 완성해 점수를 겨룹니다
영상에서 놓친 대사가 있나요? Alt+H를 누르면 Huh?가 원문을 여러분의 언어로 간단히 설명해 줍니다
SAS Extension for Positron은 가볍고 어디서든 실행되며 SAS를 다른 언어와 통합할 수 있습니다
콘서트·컨퍼런스·파티 등을 찾아보고 M-Pesa 또는 카드 결제로 즉시 티켓을 받는다
노트·초안·아이디어 작성을 위한 로컬 우선 앱, 마크다운·검색·단축키·AI 지원 제공
HOTAS를 잡고 헤드셋으로 답변을 듣는 DCS World 학습용 음성 동반자
임베드 가능한 파이썬 LLM 에이전트 코어와 도구, Agent Skills, MCP, 미디어 생성 제공
기본 건강 관리 도우미: 카메라로 맥박 측정(시험), 규칙에 따라 초기 증상 확인 및 1669 비상 정보 제공
도구를 격리하고, 속도를 늦추며, 루프에 넣어 위에 연주 무료 오픈소스
Xero와 연결해 지출·청구서를 동기화하고 팀과 비용 항목을 검토, Xero 로그인만으로 별도 비밀번호 필요 없음
제품 사진 4~6장을 촬영해 몇 분 안에 포토리얼리스틱 3D 모델을 만들 수 있습니다
HTML 기본 select 요소를 대신하는 최소 규모·유연·프레임워크 독립 선택 컴포넌트
실제 상황에서 AI 캐릭터와 영어 대화 한 번에 문법 교정과 자연스러운 표현을 얻는다
Atmy 연동으로 도시의 PM2.5, 미국 AQI 및 대기오염 누적지수를 Home Assistant 센서로 제공
Becoming은 당신의 주요 순간을 기억하고 매일 작은 행동 하나로 전환해 삶에 녹아들게 합니다
개인 지출·수입·카드 관리
EVE Online용 데스크톱 트레이딩 보조 도구, 무료 오픈소스
하루를 계획하고 실제 기록을 남겨 주간 목표와 비교
LeadFast AI answers every website and quote request within a minute, in your business name, then alerts you so you can call back and book the job. Free for 14 days, no card needed.
36개의 알고리즘과 자료구조를 한 단계씩 살펴보며 실제 소스 코드를 줄별로 강조합니다
Docker Compose로 한 대의 호스트에서 Agent Messaging 서버(참조 구현)를 시작
마지막 증기선을 조종해 강을 내려가며 괴물을 피합니다
Itzamná: 오픈소스 MCP 서버로 AI와 멕시코 공식 공개 데이터를 연결, 항상 출처와 함께
GLSL 셰이더를 실시간으로 실행하고 VJ 소프트웨어용 플러그인으로 변환합니다 무료 오픈소스
Vercel과 Next.js 기능마다 한 페이지, 실시간 데모 제공
Dart·Flutter용 페르시아(달리) 달력, 그레고리안·달리 변환·파싱·페르시아 형식·히즈리 음력·이란 공휴일 제공
App Store에서 Nicolas Richards의 ProspectFilter를 다운로드하고 스크린샷·평점·리뷰·사용자 팁 등을 확인하세요
말레이시아 실수령액을 확인하고 세금·연금·자카트·대출 도구까지 무료로 이용
Oneechan은 iPhone 및 iPad용 네이티브 만화 뷰어입니다
방과 후 17시 30분, 우리가 오래 기다린 애니메이션 시간
SpazaLink는 타운십 스파자 상점을 검증된 도매업체와 연결하고 재고를 추적해 거래 이력을 금융 건전성 보고서로 전환한다
Jira에서 누가 무엇을 볼 수 있고 변경할 수 있는지 확인합니다. 읽기 전용이며 데이터가 Atlassian을 벗어나지 않습니다
SPDX·CycloneDX 문서를 트리처럼 탐색하고 전달을 승인합니다. 클라이언트 전용, 프라이버시 보장, Apache-2.0
Bannerify는 이미지·PDF 생성 API로, 템플릿을 만들고 JSON을 보내면 파일을 반환합니다. 무료 플랜은 월 100회
epScript, DAT, 지형, 사운드까지 — 말로 요청하고, 결과를 확인하고, 되돌릴 수 있는 EUD 맵 저작 도구.
EliteGrid는 고성능 TypeScript 데이터 그리드 및 테이블 라이브러리이다
읽은 내용을 출처와 연결된 답변, 개인 검색 가능한 보관소, 로컬 우선 AI로 지식으로 전환
beleg. 영수증 사진 찍고 보증·반품 기한을 확인, 오프라인, 계정 없이
Claude·ChatGPT 등 AI에 최신 Amazon 판매·벤더·광고 데이터를 제공하고 활용하게 함
Print.App은 인쇄 업체용 제품 커스터마이저이자 DTF 갱시트 생성기이며 Shopify·WooCommerce 앱을 제공합니다
이제 Linear Algebra, Step by Step으로 이동되었습니다(이 저장소가 이전 링크를 전달합니다)
시뮬레이터 각 부분이 하는 일을 하나씩 설명합니다
장치 대신 공간을, 링 하나로 빛을 제공
AegeanSense는 에게해 전역의 미기후·날씨·토양·공기질을 실시간으로 모니터링합니다
오픈소스 AI 에이전트가 프롬프트만으로 실제 PCB를 설계·문서화·검증합니다
복잡한 계산 없이 오프라인에서 기기만으로 청구서 나누기
실시간 보육 가능 여부와 대기자 명단, 보조금, 그리고 이를 운영하는 센터용 소프트웨어
프랜차이즈 신청서를 업로드하면 파트너별 추천·이유·준비도 점수·다음 단계가 제공됩니다
drand 공개 난수로 검증 가능한 추첨을 무료로 진행·참여하고, 결제 링크와 계약 검증기로 결제, Base·Arbitrum 지원
ChatGPT·Claude·Perplexity·Gemini·Grok을 여는 의존성 없는 버튼
일러스트와 만화용 무료 오픈소스 페인팅 앱
Go와 Cockpit 단일 앱을 빠르게 구축·실행·배포, *.test 로컬 HTTPS·Redis 캐시·핫 리로드·Coolify 지원
개인 지출을 추적하는 도구
MeshSonar 드라이버가 측정한 커버리지 맵을 한 번 로그인으로 모두 확인
Modbus RTU(RS‑485)와 Modbus TCP 장비 설정·조회용 무료 프로그램
Mac용 온디바이스 전사, 단어마다 시간 표시, 목소리별 색상, 타임라인에서 재생·표시·편집 가능
스타일 있게 4chan을 탐색하고, 카드형 레이아웃·투명 UI·미디어 중심 탐색·프라이버시 제어 제공
IFC 파일을 드래그하면 3D로 확인하고, 웹 브라우저에서 web-ifc로 파싱돼 업로드되지 않습니다
소리까지 지원하는 무제한 AI 영상 생성기, 유료 플랜에서는 10번째 촬영 비용이 첫 번째와 동일하고 첫 클립은 지금 바로 무료
구면과 토러스에서 바둑을 즐기며 회전 가능한 입체판과 로컬 AI를 활용
AI 워크플로우부터 대규모 도메인 모델링까지, React와 완벽히 통합해 다이어그램 도구를 구축합니다
프로젝트부터 현장 조립까지 프리캐스트 부품을 추적·콘크리트 계획·품질 관리까지 한 곳에서
Node.js와 CLI용 SVG 최적화 도구
금융기관 시스템 전반의 보안 변동을 추적해 IT 감독 보고서 형태로 제공합니다
인도 음식에 특화된 칼로리·매크로 추적, 체중 기록 및 몸매 예측
Claude Code에서 건축·엔지니어링·시공 작업을 위한 스킬, 에이전트, 명령, MCP 서버
Resorep의 네이티브 리라이트
시스템 דיווח הגנים, 시립 회사 아리엘
무료 SEO·보안·AEO·GEO 감사, 23개 모듈 105신호를 약 30초에 제공, 회원가입 없이
거절할 수 없는 가장 사랑스러운 데이트 초대
Windows, macOS, Linux용 자유 데스크톱 애플리케이션
학생이 만든 NIFE 학습용 연습문제·드릴·플래시카드, 학생 가이드를 기반으로 함
Nemokama sąskaitų faktūrų programa Lietuvos mažoms įmonėms ir individualiai dirbantiems. Kurkite sąskaitas ir saugokite duomenis savo kompiuteryje.
산업보건 관리와 서비스, 매장 운영
수요를 예측하고 창고 인력을 계획해 트럭 비용을 확인
학술 논문용 편집기. 사람과 에이전트가 같은 LaTeX·Typst 문서를 편집하고, 모든 수정에 누가, 언제, 왜 했는지 기록합니다
텍스트·사진·음성으로 과제 단계별 지원. 무료, 설치 가능, 기기 간 동기화
브라우저에서 클립을 녹이고, 피어나게 하고, 글리치시키세요. 무료, 오픈소스, 업로드 없음
귀엽고 픽셀풍의 가로 퍼즐 게임: 열 형제가 각자 특기로 협력해야 스테이지를 클리어한다
SMART on FHIR와 대량 내보내기를 지원하는 인증된 FHIR R4/R5/R6 서버, PostgreSQL 기반
멀티 연결 다운로드와 재시작, 모든 사이트의 영상 다운로드 지원 Linux·Steam Deck·Windows
광고 없이 무료 단어 추리 퍼즐, 일일 공개 순위와 연속 기록, 16개 언어 4~8자 단어, 바로 여기서 플레이
Polyguard는 직원 전 과정에서 허위 지원자를 차단합니다
EU4/RISK 스타일 지도에서 매 라운드마다 무작위 진영이 소멸하고 이웃이 영토를 차지하는 배틀로얄
Ballpark Matchups 앱을 다운로드하고 스크린샷·평점·리뷰·사용자 팁 등을 확인하세요
소유한 GitHub 저장소로 바로 사용할 수 있는 무료 버전 관리 미디어 저장소이며 로그인 없이 실시간 데모를 체험할 수 있습니다
BLANK를 위한 신중한 인터페이스용 조용한 레지스트리
학생 서류를 첫 상담부터 비자까지, 서류·편지·교육·결제·팀을 한눈에 관리 무료 7일 체험
조 디스펜자의 가르침을 체득하도록 돕는 앱
사람·고객·자금·운영을 연결하고, 업무를 수행해 필요한 의사결정만 제공하는 AI 비즈니스 매니저가 포함된 통합 플랫폼
AudioMuse-AI는 음향 분석으로 잊힌 곡을 재발견하고 음악 라이브러리의 숨은 연결을 찾아냅니다
연구 데이터셋을 문서화·프로파일링하는 도구, 최소 메타데이터·통계·그래프를 포함한 데이터 거버넌스 파일을 생성합니다
코소보에서 매매·임대 아파트·차량·중고 물품 광고, 무료로 올리고 판매자와 직접 연락합니다
팀이 방문하는 모든 문을 한 지도에 표시, 자동 현수막 관리·근무 추적·팀 지표 제공
Sarvam AI와 Saaras, Sarvam-105B, Bulbul 기반의 음성 오해 탐지기
GitHub 저장소 생성일 기준 · 스타 50 이상
각 프로젝트마다 하나의 VM을 제공해 격리된 샌드박스와 도구 체인을 준비합니다
에이전트가 장면을 코드로 작성해 GPU에 렌더링하고 결과를 보고 코드를 수정합니다 소스 공개 연구 미리보기 기간 무료
새 버전을 낸 8,147개 중 상위 5 · 새 버전 = GitHub 릴리스·제작자 업데이트
긴 등록 폼 대신 프로젝트 폴더에서 한 줄. AI 기능이 없어도, AI로 만들었다면 괜찮습니다.
/nomorevibe등록 흐름 보기GitHub 스타 2천 이상 · 구간마다 상위 3 · 집계 기준
★ 2천–5천 미만 · 스타 많은 순
x86 기반 머신을 에뮬레이트하는 프로그램
API의 숨은 정체를 찾아 모든 기능을 흡수해 AI 에이전트 전용 GOAT CLI를 만든다(SQLite 동기화·오프라인 검색·복합 지원)
비밀번호 관리자를 위한 제작자·사용자 협업 리소스 공간
★ 5천–1만 미만 · 스타 많은 순
Lean은 올바르고 유지보수 가능하며 형식 검증된 코드를 작성하게 하는 오픈소스 프로그래밍 언어와 증명 도우미
GitLens로 VS Code를 Git 강자로 바꾸고 블레임·작성자·커밋 기록 등을 확인 가능, 무료와 Pro 제공
Rust용 개발자 도구를 구축합니다
★ 1만–3만 미만 · 스타 많은 순
Plausible은 가볍고 오픈소스인 Google Analytics 대안으로, 사이트 데이터는 100% 소유하고 방문자 프라이버시를 보호합니다
오픈소스 클라우드 네이티브 레지스트리로 콘텐츠를 저장·서명·스캔합니다
Claude Code 등 8개 코딩 에이전트를 위한 380개 이상의 스킬·에이전트·플러그인