Claude Code
com o Claudinho
O Claude no terminal: o que o Vagner usa nos vídeos.
Maintain Formal Verification Skill
Atualiza a verificação formal do projeto depois de mudanças no código, ajustando o modelo
- instalações
- 1.100
- estrelas no GitHub
- 2.803
- Licença
- MIT
Atualizada no GitHub em 25 de outubro de 2026. Dados conferidos em 26 de outubro de 2026, no skills.sh e no GitHub.
Nas palavras de quem fez
Bring a project's formal verification back in line with the code after the code changes: find the commits that touched verified code, update the model,…
Segurança
Gen Agent Trust Hub, Socket e Snyk leem o código da skill atrás de comando perigoso, dado vazando e instrução escondida. Alerta não é reprovação: quer dizer que vale ler o que a skill faz antes de instalar.
- Gen Agent Trust HubPassou
- SocketPassou
- SnykPassou
Perguntas
Como instalar a Maintain Formal Verification Skill no Claude Code?
Toca em Levar, aqui nesta página, e deixa seu nome, e-mail e WhatsApp (é uma vez só). Aparece uma frase pronta: cola ela no Claude Code, que ele mesmo instala a Maintain Formal Verification Skill, e a skill passa a valer na próxima conversa. A mesma frase serve no Codex. Se preferir fazer na mão, o passo a passo está em como instalar skills no Claude Code.
Levar essa skill
1x maintain-formal-verification-skillR$ 0,00
TotalR$ 0,00
Levar precisa do JavaScript ligado. O código da skill está no GitHub: github.com/backnotprop/pstack
Aprenda a usar
- O que é o Claude Code (Claude CLI) e como começar
O que é o Claude Code (Claude CLI), pra que serve pra quem não programa, o que ele pede pra rodar e como se compara ao Codex, ao Antigravity e ao Cursor.
Na mesma prateleira
Ver as 5.600 skills do corredorbobmatnyc
pytest
O Claude escreve e organiza testes em Python com pytest, com fixtures, parametrização, mocks e cobertura, inclusive pra APIs em FastAPI e Django.Auditada1.300 instalações, grátisruvnet
github-
O pull request passa por segurança, desempenho, arquitetura e estilo, e os comentários caem direto no GitHub, até na linha exata do código.1.300 instalações, grátiscode- review tech-leads-club
tlc-
Cada funcionalidade sai com requisito escrito, aprovado por você, testado e conferido por um verificador que não foi quem escreveu o código.Auditada1.200 instalações, grátisspec- driven aklofas
kicad
Você entrega o projeto da placa e recebe uma revisão com veredito, bloqueios e o que foi conferido, antes de pagar a fabricação.1.100 instalações, grátischongdashu
phaser-
Você descreve o jogo e o Claude monta em Phaser 3, com cenas separadas, a física certa pro gênero e controle por teclado, mouse ou toque.Auditada1.100 instalações, grátisgamedev henricook
glab
O Claude abre merge request, cuida das issues e acompanha o pipeline do GitLab pelo terminal, sem você abrir o navegador.Auditada1.100 instalações, grátismindrally
fpga
O Claude escreve e revisa projeto de FPGA em SystemVerilog seguindo as regras de timing, recursos e verificação do Vivado.Auditada1.100 instalações, grátistscircuit
tscircuit
O Claude escreve o circuito em React, escolhe os componentes, posiciona e roteia a placa e roda as checagens antes de você mandar fabricar.1.100 instalações, grátis
Mais da loja backnotprop
Ver a loja backnotpropbacknotprop
plannotator-
Gera visualizações HTML autossuficientes: planos, explicações de PR, diagramas, tabelas e slides12,5 mil instalações, grátisvisual- explainer plannotator-
Analisa o arquivo de planos do Plannotator para achar padrões de recusa e sugerir melhorias de promptAuditada11,5 mil instalações, grátiscompound plannotator-
Transforma uma ideia em um pacote de meta para o /goal, com entrevista, ficha de fatos e exploração do códigoAuditada11,4 mil instalações, grátissetup- goal bro
Reescreve a última mensagem em linguagem humana simples, sem jargãoAuditada9.600 instalações, grátisunslop
Tira os cacoetes de IA de qualquer textoAuditada6.500 instalações, grátisprinciple-
Faz debug seguindo cada sintoma até onde o sistema errou primeiro e corrige lá, na causa raizAuditada5.600 instalações, grátisfix- root- causes arena
Roda vários candidatos em paralelo na mesma tarefa, escolhe a melhor base e enxerta o melhor dos outrosAuditada5.500 instalações, grátisinterrogate
Faz revisão adversarial do código com vários modelos pra achar pontos cegosAuditada5.500 instalações, grátistechnical-
Aplica um padrão de escrita técnica (Diátaxis, estilo Google, STE) em documentaçãoAuditada5.500 instalações, grátiswriting architect
Esboça tipos, assinaturas e estrutura de módulos antes do código e acompanha a implementaçãoAuditada5.400 instalações, grátiscreate-
Gera uma skill de verificação do projeto que usa o app como um usuário, em qualquer linguagem5.300 instalações, grátisverification- skill figure-
Desenha um playbook auditável pra tarefas sem roteiro, como migração grande ou mudança em várias partesAuditada5.200 instalações, grátisit- out