페이지를 불러오는 중
언어 모델의 증명 탐색을 Lean 4 검증과 연결하는 자율 정리 증명 도구.
터미널 코딩 에이전트에 최신 읽기 전용 저장소와 일회용 작업공간을 제공하는 도구
만화 이미지를 전자잉크 화면에 맞춰 고품질로 변환하는 도구
UI를 열지 않고 PDF에 서명 이미지를 찍는 명령줄 도구입니다.
Git 기반 의존성 관리와 JSON 설정으로 C/C++ 빌드를 단순화하는 실험적 도구입니다.
MATLAB 문법과 GPU 가속을 지원하는 수학·물리 계산 엔진
Bash 호환 실행 환경에 스크립트 진단·포맷·편집 도구를 결합한 셸
Android Termux와 데스크톱에서 쓰는 터미널 AI 코딩 에이전트
여러 프로젝트의 AI 에이전트와 셸을 작업공간별 터미널에서 함께 다루는 경량 멀티플렉서
10월 19일–10월 25일 ↗
명령어로 2D 도면을 그리고 AI 에이전트나 CLI로 작업을 자동화할 수 있습니다. 데스크톱과 브라우저에서 사용할 수 있어 작업 방식에 맞춰 시작할 수 있습니다.
ZFS의 저장 구조를 대화형 전시와 애니메이션으로 살펴보고, 설명과 연결된 OpenZFS 코드까지 확인할 수 있습니다.
AI 코딩 도구의 토큰 사용량을 카드 수집과 연결한 macOS 메뉴 막대 앱입니다. 작업 중에는 카드 이미지와 캐릭터를 숨길 수도 있습니다.
AI에 요청할 내용을 정리하기 어려울 때 맥락, 제약, 출력 형식을 담은 프롬프트 초안을 만들 수 있습니다. 생성한 문구는 복사해 직접 수정할 수 있습니다.
