verification

(★ 9)

Specifications of the protocols and the experiments on their verification

verification 최신버젼 다운로드

최종 버전 다운로드 (.zip)

오늘의 추천 프로젝트

cc-switch ★ 127,592

Claude Code, Codex, OpenCode, OpenClaw, Grok Build, Hermes Agent를 위한 크로스플랫폼 데스크톱 올인원(All-i

Rust
frp ★ 108,813

NAT나 방화벽 뒤에 있는 로컬 서버를 인터넷에 쉽게 노출할 수 있도록 도와주는 빠른 리버스 프록시입니다.

Go
Best-websites-a-programmer-should-visit ★ 76,270

:link: 프로그래머를 위한 유용한 웹사이트 모음입니다.
kubernetes ★ 124,518

프로덕션급 컨테이너 스케줄링 및 관리

Go
yt-dlp ★ 184,855

다기능 명령줄 오디오/비디오 다운로더

Python
caveman ★ 96,051

🪨 why use many token when few token do trick — 원시인처럼 말해서 토큰 65%를 줄여주는 Claude Code 스킬

JavaScript
// repository documentation