solana-skills은(는) 무엇을 하나요?
.qedspec 파일에 Solana 프로그램의 보증(gurantees)을 정의하고 QEDGen을 사용하여 메인넷 배포 전에 사양을 검증하고 버그를 찾습니다.
.qedspec 파일에 Solana 프로그램의 보증(gurantees)을 정의하고 QEDGen을 사용하여 메인넷 배포 전에 사양을 검증하고 버그를 찾습니다.
이 스킬은 Solana 프로그램 개발자가 `.qedspec` 파일을 사용하여 프로그램의 보증(gurantees)을 형식적으로 정의하고, QEDGen 도구를 통해 사양을 검증하여 메인넷 배포 전에 버그를 조기에 발견할 수 있게 해줍니다. 보증이란 프로그램의 실행 결과에 대한 불변 속성이나 조건을 말하며, 이 스킬은 이를 정적 분석 및 검증 가능한 형태로 작성하도록 안내합니다. 또한, 사용자는 Solana 플레이그라운드나 로컬 개발 환경에서 QEDGen을 실행하여 정의된 사양과 실제 프로그램 동작 간의 일관성을 확인하고 잠재적인 취약점이나 논리적 오류를 찾아낼 수 있습니다. 이 스킬은 Solana 개발자에게 형식 검증(formal verification)을 간편하게 도입하여 더 안전하고 신뢰할 수 있는 스마트 컨트랙트를 구축할 수 있는 실용적인 방법을 제공합니다.
npx skills add beardedwheatgrasswalkupapartment951/solana-skills.qedspec 파일에 Solana 프로그램의 보증(gurantees)을 정의하고 QEDGen을 사용하여 메인넷 배포 전에 사양을 검증하고 버그를 찾습니다.
ElevenLabs text-to-speech with mac-style say UX.
Oracle CLI second-model review/debug/refactor/design with selected files, dry-run token checks, API or browser engine.
Capture and automate macOS UI with the Peekaboo CLI.
Generate multiple radically different interface designs for a module using parallel sub-agents. Use when user wants to design an API, explore interface options, compare module shapes, or mentions "design it twice".
Build a throwaway prototype to flesh out a design — a runnable terminal app for state/business-logic questions, or several radically different UI variations toggleable from one route.
Interview the user relentlessly about a plan or design until reaching shared understanding, resolving each branch of the decision tree. Use when user wants to stress-test a plan, get grilled on their design, or mentions "grill me".