Claude Code
com o Claudinho
O Claude no terminal: o que o Vagner usa nos vídeos.
Proof Checker skill
Verifica e corrige provas matemáticas em LaTeX, achando lacunas com a revisão de um agente novo
- instalações
- 470
- estrelas no GitHub
- 18,1 mil
- No skills.sh desde
- abril de 2026
- Licença
- MIT
Atualizada no GitHub em 24 de outubro de 2026. Dados conferidos em 26 de outubro de 2026, no skills.sh e no GitHub.
Nas palavras de quem fez
Rigorous mathematical proof verification and fixing workflow. Reads a LaTeX proof, identifies gaps via fresh-agent Codex GPT-6-Astra ultra review, fixes each…
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 Proof Checker 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 Proof Checker, 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 proof-checkerR$ 0,00
TotalR$ 0,00
Levar precisa do JavaScript ligado. O código da skill está no GitHub: github.com/wanshuiyin/auto-claude-code-research-in-sleep
Aprenda a usar
- Como aprender IA do zero sozinho: roteiro 7 dias
Por onde começar a estudar IA sozinho em 2026: a diferença entre usar IA pra entregar e construir modelos, e o roteiro prático de 7 dias.
Na mesma prateleira
Ver as 1.649 skills do corredorsoftaworks
perplexity
Quando você pede uma pesquisa, o Claude busca no Perplexity com poucos resultados por vez e só amplia a busca quando a primeira não resolve.770 instalações, grátisnousresearch
arxiv
O Claude acha os artigos mais recentes sobre um assunto, mostra quem citou cada um e já entrega a referência pronta pra citar.683 instalações, grátisdavila7
perplexity-
O Claude responde com informação atual da internet e mostra de onde tirou, até sobre o que aconteceu depois do treino dele.674 instalações, grátissearch wanshuiyin
semantic-
O Claude acha artigos revisados sobre o seu tema, ordena pelos mais citados e entrega uma tabela com revista, ano, DOI e resumo de cada um.615 instalações, grátisscholar shepsci
kaggle
O Claude estuda a competição, lê as soluções premiadas, baixa os dados, valida e envia a sua submissão e acompanha o placar, sem você abrir o site.568 instalações, grátisMicrosoft
powerbi-
O Claude monta páginas, gráficos, filtros e temas do seu relatório do Power BI direto nos arquivos, valida e confere o resultado num print do Desktop.OficialAuditada411 instalações, grátisreport- authoring NVIDIA
nvidia-
O Claude junta regras, soluções, discussões e notebooks de uma competição do Kaggle e cuida do envio, com sua confirmação antes de gastar submissão.Oficial53 instalações, grátiskaggle- skill OpenAI
zotero
O Claude busca o artigo na sua biblioteca do Zotero, põe a citação no seu texto e mantém o references.bib em dia, sem você copiar nada à mão.OficialAuditada24 instalações, grátis
Mais da loja wanshuiyin
Ver a loja wanshuiyinpaper-
Gera figuras e tabelas com qualidade de publicação a partir dos resultados de experimentos621 instalações, grátisfigure research-
Busca e analisa artigos científicos, acha trabalhos relacionados e resume as ideias principais611 instalações, grátislit idea-
Gera e ranqueia ideias de pesquisa a partir de uma direção ampla577 instalações, grátiscreator idea-
Roda o fluxo de descoberta de ideias, de uma direção ampla até ideias validadas em piloto577 instalações, grátisdiscovery arxiv
Busca, baixa e resume artigos acadêmicos do arXiv567 instalações, grátisauto-
Roda rodadas autônomas de revisão de pesquisa com um revisor novo, aplica correções e revisa de novo563 instalações, grátisreview- loop paper-
Escreve um artigo científico, do relatório narrativo ao PDF pronto para submissão558 instalações, grátiswriting research-
Faz uma revisão crítica profunda da sua pesquisa com outro agente revisor (Codex, Gemini, Grok ou Claude)Auditada558 instalações, grátisreview grant-
Redige projetos de fomento à pesquisa (KAKENHI, NSF, NSFC, ERC) a partir de ideias e literatura557 instalações, grátisproposal research-
Conduz a pesquisa de ponta a ponta: da ideia aos experimentos, à revisão e ao PDF final do artigo556 instalações, grátispipeline novelty-
Confere se uma ideia de pesquisa é inédita, comparando com a literatura recente553 instalações, grátischeck pixel-
Gera ilustrações em pixel art SVG para READMEs, docs e slidesAuditada545 instalações, grátisart