316위z3
Z3 정리 증명기
많이 쓰이는 프로젝트
GitHub 스타 2천 이상 10만 미만 · 구간마다 스타 많은 순 · 집계 기준
★ 1만–3만 미만 · 전체 분야 444개
★ 옆 초록 숫자는 지난 확인보다 늘어난 스타 · 스타 많은 순
317위Inbox Zero
AI 비서가 이메일 자동화·대량 구독 해제·스팸 차단·분석까지 도와 인박스 제로를 빠르게 달성합니다
318위assistant-ui
AI 채팅 구축을 위한 오픈소스 React 컴포넌트와 런타임, 스트리밍·도구·영속성을 TypeScript로 제공
319위oss-fuzz
OSS-Fuzz, 오픈소스 소프트웨어 지속 퍼징
claude-relay-service: Claude 등 구독 통합, 비용 분담
321위Concat
Concat – 무료 오픈소스 CapCut 대체제, 로컬에서만 실행, 워터마크·계정·구독 없이
322위HumanLayer
멀티플레이어 코딩 에이전트 IDE와 클라우드가 세션·계획 산출물·코드 차이를 한 곳에 모아 팀 협업과 배포를 지원
323위claude-context
Claude 코드를 위한 코드 검색 MCP로 전체 코드베이스를 모든 코딩 에이전트의 컨텍스트로 활용
324위Scapy
Scapy: 파이썬 기반 인터랙티브 패킷 조작 프로그램 및 라이브러리
developer.wordpress.com에서 API·가이드·툴로 강력한 워드프레스 사이트를 구축하고 테마·플러그인·앱을 학습·확장·최적화
326위Beats
로그·네트워크·인프라 데이터 전송기 구축 가능한 오픈소스 플랫폼, Elasticsearch·Logstash·Kibana와 연동
327위axolotl
axolotl 질문을 마음껏 해보세요
328위opensre
AI 시대를 위한 오픈소스 SRE 에이전트 구축 툴킷
프로젝트 린터로 사용되지 않는 의존성, 내보내기 및 파일을 찾아줍니다
330위zfs
Linux와 FreeBSD용 OpenZFS