O que solana-skills faz?
Verifique formalmente programas Solana com provas em Lean 4. Uma habilidade de agente potencializada pelo modelo Leanstral da Mistral.
Verifique formalmente programas Solana com provas em Lean 4. Uma habilidade de agente potencializada pelo modelo Leanstral da Mistral.
Esta habilidade permite que desenvolvedores e agentes de IA verifiquem formalmente programas Solana (como contratos inteligentes) usando provas matemáticas escritas em Lean 4, um assistente de prova interativo. Ela é útil para garantir a correção e segurança do código antes da implantação, reduzindo o risco de bugs e vulnerabilidades. A habilidade suporta plataformas como Claude Code, Cursor, Codex e outros agentes compatíveis com Mistral ou Leanstral. Seu funcionamento se baseia no modelo Leanstral da Mistral, que gera automaticamente provas formais a partir do código Solana, integrando-se ao ecossistema Lean 4 para verificação rigorosa.
npx skills add QEDGen/solana-skillsInstalled? Explore more Programação e Desenvolvimento skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →
Verifique formalmente programas Solana com provas em Lean 4. Uma habilidade de agente potencializada pelo modelo Leanstral da Mistral.
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.