
Claude Code
com o Claudinho
O Claude no terminal: o que o Vagner usa nos vídeos.
Deduz equações, escreve provas e gera LaTeX para artigos, escolhendo os testes estatísticos
por lingzhi227
Atualizada no GitHub em 27 de fevereiro de 2026. Dados conferidos em 26 de outubro de 2026, no skills.sh e no GitHub.
Formal mathematical reasoning for research papers — derive equations, write proofs, formalize problem settings, select statistical tests, and generate LaTeX…
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.
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 Math Reasoning, 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.
1x math-reasoningR$ 0,00
TotalR$ 0,00
Levar precisa do JavaScript ligado. O código da skill está no GitHub: github.com/lingzhi227/agent-research-skills
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.