Claude Code
com o Claudinho
O Claude no terminal: o que o Vagner usa nos vídeos.
Proof Writer skill
Escreve provas matemáticas rigorosas para teoria de ML e IA e completa passos que faltam
- instalações
- 512
- estrelas no GitHub
- 18,1 mil
- No skills.sh desde
- março 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
Writes rigorous mathematical proofs for ML/AI theory. Use when asked to prove a theorem, lemma, proposition, or corollary, fill in missing proof steps,…
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 Writer 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 Writer, 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-writerR$ 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
- Modelos do Claude: Opus 5.5 vs Sonnet 5.5 e Haiku
Comparativo entre Claude Opus 5.5, Sonnet 5.5, Haiku 5.5 e Fable 5.1: diferenças de raciocínio, gasto da janela de 5 horas, planos e como trocar no /model.
Na mesma prateleira
Ver as 1.035 skills do corredorshaivpidadi
freeride
Seu agente no OpenClaw roda com o melhor modelo grátis do OpenRouter e troca sozinho pra outro quando bate no limite de uso.781 instalações, grátisintellectronica
promptify
Você escreve do seu jeito, diz promptify e recebe o mesmo pedido em forma de especificação, que a IA entende sem ambiguidade.Auditada643 instalações, grátisokooo5km
jev
O Claude separa, etiqueta e dá nota em milhares de mensagens por centavos de dólar, e só lê com calma o que passou no filtro.626 instalações, grátisrobonuggets
gauntlet-
Você diz o que quer e recebe um prompt pronto pra colar, com um crítico duro comparando o trabalho com algo real até o seu ganhar.588 instalações, grátisloop Firecrawl
llama-
O Claude instala o llama.cpp, escolhe o modelo e a compressão que cabem na sua máquina e deixa uma IA rodando local, com chat e API própria.OficialAuditada44 instalações, grátiscpp unsloth
O Claude consulta a documentação do Unsloth e te ajuda a treinar um modelo aberto com os seus dados, gastando menos memória de placa de vídeo.OficialAuditada40 instalações, grátisdspy
O Claude troca o prompt escrito na mão por um programa em DSPy que se ajusta com os seus exemplos e mede se a resposta melhorou.Oficial33 instalações, grátissglang
O Claude sobe um modelo aberto na sua GPU, que responde sempre no JSON que o seu sistema espera e reaproveita o cache quando o prompt se repete.Oficial33 instalações, grátis
Mais da loja wanshuiyin
Ver a loja wanshuiyinwanshuiyin
paper-
Gera figuras e tabelas com qualidade de publicação a partir dos resultados de experimentos621 instalações, grátisfigure 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 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