solana-skills은(는) 무엇을 하나요?
Lean 4 증명을 사용하여 Solana 프로그램을 정형 검증합니다. Mistral의 Leanstral 모델을 기반으로 한 에이전트 스킬입니다.
Lean 4 증명을 사용하여 Solana 프로그램을 정형 검증합니다. Mistral의 Leanstral 모델을 기반으로 한 에이전트 스킬입니다.
QEDGen/solana-skills는 AI 에이전트가 Solana 스마트 계약을 Lean 4 증명 도우미를 사용하여 정형 검증할 수 있게 해주는 스킬입니다. Mistral의 Leanstral 모델을 기반으로 하여, 에이전트가 Solana 프로그램의 안전성 및 정확성에 대한 수학적 증명을 자동 생성할 수 있습니다. 이 스킬은 개발자가 Solana 프로그램의 버그를 사전에 발견하고, 견고한 dApp을 구축하는 데 도움을 줍니다. Lean 4는 강력한 정형 검증 시스템으로, Solana의 고성능 블록체인 환경에서 프로그램이 의도한 대로 동작함을 보장합니다.
npx skills add QEDGen/solana-skillsInstalled? Explore more 코딩 & 개발 skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →
Lean 4 증명을 사용하여 Solana 프로그램을 정형 검증합니다. Mistral의 Leanstral 모델을 기반으로 한 에이전트 스킬입니다.
Send and manage iMessages via BlueBubbles, including attachments, tapbacks, edits, replies, and groups.
Control Eight Sleep pods (status, temperature, alarms, schedules).
BluOS CLI (blu) for discovery, playback, grouping, and volume.
Create, search, and manage Bear notes via grizzly CLI.
Capture frames or clips from RTSP/ONVIF cameras.
Search GIF providers with CLI/TUI, download results, and extract stills/sheets.