O que solvr-aeon-skill faz?
Pacote de skills AEON para Solvr — ordens de serviço de verificação formal assistida por IA, fundamentadas em inteligência onchain em tempo real. Inspirado no ensaio FV de Vitalik.
Pacote de skills AEON para Solvr — ordens de serviço de verificação formal assistida por IA, fundamentadas em inteligência onchain em tempo real. Inspirado no ensaio FV de Vitalik.
O `basedcryptoji/solvr-aeon-skill` é um pacote de habilidades para o agente Solvr que integra verificação formal assistida por IA com dados onchain ao vivo. Inspirado no ensaio de Vitalik Buterin sobre verificação formal (FV), este skill permite que desenvolvedores e usuários criem ordens de serviço de verificação formal a partir de intenções expressas em linguagem natural, ancoradas em inteligência atualizada da blockchain. Ele é útil para equipes que precisam validar a correção de contratos inteligentes e protocolos descentralizados sem sair do ambiente do terminal. Compatível com agentes como Claude Code e Cursor, o skill traduz descrições informais em especificações formais verificáveis, usando ferramentas como SMT solvers ou provadores de teoremas, reduzindo o atrito entre a ideação e a garantia matemática de propriedades críticas de segurança e correção.
npx skills add basedcryptoji/solvr-aeon-skillInstalled? Explore more Programação e Desenvolvimento skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →
Pacote de skills AEON para Solvr — ordens de serviço de verificação formal assistida por IA, fundamentadas em inteligência onchain em tempo real. Inspirado no ensaio FV de Vitalik.
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.