long-form-math
Write mathematics in a long-form, understanding-focused style with detailed proofs and rich exposition. Use when explaining mathematical concepts, writing proofs, tutoring math…
Pacote de plugins · de Alberto Leal
Resumo
long-form-math é um pacote de plugins para ferramentas de programação com IA publicado por Alberto Leal. Marketplaces que lemos e que o listam: 1 (Community GitHub marketplaces). A última mudança que registramos foi em 2026-10-19. Conforme nossa passagem pelos marketplaces em 2026-10-20.
Write mathematics in a long-form, understanding-focused style with detailed proofs and rich exposition. Use when explaining mathematical concepts, writing proofs, tutoring math, creating educational math content, or when the user asks for mathematical explanations. Inspired by Jay Cummings' Real Analysis and Chartrand's Mathematical Proofs.
O que pede
- Instala-se como pacote de plugins
Nenhum dos marketplaces que lemos publica as ferramentas ou as configurações que ele pede.
O que declara, pede e executa, por completo
Instale apenas plugins de desenvolvedores em quem você confia. Mostramos o que os marketplaces publicam e não testamos plugins.
Funciona com
- Claude Code
Pelos marketplaces que o listam e pelo transporte MCP que declara, conforme cada cliente documenta. Não testamos plugins.
Conectar
Comandos e configurações gerados apenas a partir do que os marketplaces declaram. Não os executamos por você e não testamos plugins.
Como plugin do Claude Code
Gerado a partir do que Community GitHub marketplaces declara.
/plugin marketplace add dashed/claude-marketplace
/plugin install long-form-math@alberto-marketplaceOnde está publicado
| Marketplace | Status | Versão | Números | Verificado | Visto pela primeira vez |
|---|---|---|---|---|---|
| Marketplace da comunidade dashed/claude-marketplace (Abrir o código no GitHub) | Listado | 1.0.0 | Forks (GitHub): 10 Estrelas (GitHub): 25 |
Sem marcação |
Cada número é do próprio marketplace e nunca é somado entre marketplaces. Um marketplace que não publica números não mostra nenhum: sem número não é zero.
Listado em um marketplace da comunidade
| Marketplace | Repositório | Estrelas (GitHub) |
|---|---|---|
| alberto-marketplace | dashed/claude-marketplace | 25 |
Como os números mudaram
- 2026-10-1910
- 2026-10-2010
- 2026-10-1925
- 2026-10-2025
Cada ponto é um dia em que lemos um número diferente; os trechos planos são dias em que o número não mudou. Números de marketplaces diferentes nunca são somados.
O que o pacote contém
Conforme publicado em Community GitHub marketplaces.
Skills: 1
long-form-math
O que mudou
- Passou a ser um produto que acompanhamos
- Community GitHub marketplaces: apareceu
Plugins semelhantes
Produtos cujos próprios nomes, descrições, ferramentas e skills são os mais próximos deste pelo significado, em todos os marketplaces que lemos. A proximidade é ordenada apenas dentro desta lista.
-
Two skills for hard mathematics problems, each ending in a self-contained proof.md: /math-proof:solo has the session work the problem itself in stages with a notes file…
-
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
-
Stateful SageMath MCP server with 40 tools and a sandboxed Sage session per client.
-
Learning Model Context Protocol
Basic arithmetic tools with natural-language expression parsing and evaluation.
-
Solve competition math (IMO, Putnam, USAMO) with adversarial verification that catches what self-verification misses. Fresh-context verifiers attack proofs with specific failure…
-
Math.js MCP — wraps the mathjs.org API (free, no auth)
-
math-coach
Coaching companion for a 13-year-old advanced math student. Triggers on math homework, screenshots of questions, or 'I'm stuck' moments. Refuses to give answers, hooks interest…
-
TeX math, TikZ figures, and tables in the PowerPoint or Word file you have open, from chat.
-
Connect your chat repl to wolfram alpha computational intelligence.
-
mathlas io.github.Archerkattri/mathlas
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
Plugins semelhantes por marketplace
A mesma pergunta feita a cada marketplace separadamente: existe lá um equivalente deste plugin?
Listado em Claude Code: claude-plugins-community (5)
-
Turn lecture notes (PDF, LaTeX, markdown) into animated 3Blue1Brown-style explainer videos. Handles the full pipeline: content extraction, narration writing with cue-based…
-
Auto-inject ASCII diagram rules into Claude Code prompts. Structure in your response gets a diagram without the developer asking.
-
Convert academic PDF papers into polished, narrative-driven PowerPoint presentations using 13 specialized AI agents. Based on discourse parsing with multi-agent…
-
Claude Code plugin: AI consulting training material workflow (Word report + HTML slides) with multi-agent parallelism
-
AI-powered interactive learning coach that helps users master any topic 10x faster. Features knowledge maps, Feynman sparring, Socratic drilling, instant feedback, and…
Listado em Claude Code: claude-plugins-official (5)
-
Two skills for hard mathematics problems, each ending in a self-contained proof.md: /math-proof:solo has the session work the problem itself in stages with a notes file…
-
Solve competition math (IMO, Putnam, USAMO) with adversarial verification that catches what self-verification misses. Fresh-context verifiers attack proofs with specific failure…
-
Turn any learning intent into a personalized Coursera experience. Asks three quick questions (topic, familiarity, preferred format), searches Coursera's catalog, and delivers the…
-
Interactive self-referential AI loops for iterative development, implementing the Ralph Wiggum technique. Claude works on the same task repeatedly, seeing its previous work, until…
-
Tools to maintain and improve CLAUDE.md files - audit quality, capture session learnings, and keep project memory current.
Listado em Claude: knowledge-work-plugins (5)
-
Turn any learning intent into a personalized Coursera experience. Asks three quick questions (topic, familiarity, preferred format), searches Coursera's catalog, and delivers the…
-
Secure access to Miro boards. Enables AI to read board context, create diagrams, and generate code with enterprise-grade security.
-
Build multimodal AI applications with Pixeltable -- tables, computed columns, embedding search, UDFs, tool-calling agents, and 25+ AI provider integrations.
-
Official Carbone skill — complete templating language reference covering tags, loops, conditions, formatters, aggregators, and all output formats (DOCX, XLSX, PPTX, ODT, HTML…
-
MCP server for terminal commands, file operations, and process management
Listado em Codex: openai-curated (openai/plugins) (5)
-
Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
-
Notion workflows for implementation planning, research synthesis, meeting preparation, and knowledge capture.
-
Build with OpenAI APIs, Agents SDK, and ChatGPT Apps, and create and save OpenAI API keys from Codex.
-
Use Google Drive as the single entrypoint for Drive, Docs, Sheets, and Slides work.
-
Work with Zotero from Codex: search your library, export BibTeX, insert citations, and import references through the Zotero desktop app.
Listado em Community GitHub marketplaces (5)
-
Stateful SageMath MCP server with 40 tools and a sandboxed Sage session per client.
-
math-coach
Coaching companion for a 13-year-old advanced math student. Triggers on math homework, screenshots of questions, or 'I'm stuck' moments. Refuses to give answers, hooks interest…
-
Create interactive technical explanations inspired by Distill.pub
-
Turn lecture notes (PDF, LaTeX, markdown) into animated 3Blue1Brown-style explainer videos. Handles the full pipeline: content extraction, narration writing with cue-based…
-
Agentic LLM tool for pre-submission self-review of formal proof-based papers.
Listado em Copilot CLI: github/awesome-copilot (5)
-
Draw simple diagrams in a Copilot canvas: shapes, arrows that stay attached, text and a freehand pen. Copilot can read, create and edit the same drawing, tidy its layout, and…
-
Codebase-grounded concept-mastery quizzes with an interactive BrainMax Canvas dashboard.
-
A runtime-portable 5-agent quality gate that adjudicates text artifacts before they ship. Five role-conditioned LLM deliberators run a 2-round async protocol with cross-read…
-
Three-layer verification pipeline for AI output. Extracts claims, finds sources, and flags hallucination risks so humans can verify before acting.
-
Task Researcher and Task Planner for intermediate to expert users and large codebases - Brought to you by microsoft/edge-ai
Listado em Copilot CLI: github/copilot-plugins (5)
-
Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
-
workiq
Query Microsoft 365 data with natural language — emails, meetings, documents, Teams messages, and more.
-
workiq-productivity
WorkIQ productivity skills powered by the local WorkIQ CLI — read-only insights across email, meetings, calendar, Teams, SharePoint, projects, and people.
-
Build Power Apps Canvas Apps using the Canvas Authoring MCP server.
-
Build and manage Microsoft Dataverse solutions using natural language. Includes table/column creation, solution lifecycle, data operations, and MCP server configuration.
Listado em Cursor: cursor/plugins (5)
-
Generate presentations, documents, and webpages.
-
Draw and export hand-drawn diagrams from chat.
-
Iterative self-referential AI loops using the Ralph Wiggum technique.
-
Skill mapping, practice plans, and learning retrospectives.
-
Incremental transcript-driven memory updates for AGENTS.md using high-signal bullet points only.
Listado em Docker MCP Catalog (5)
-
Connect your chat repl to wolfram alpha computational intelligence.
-
Sequential Thinking (Reference)
Dynamic and reflective problem-solving through thought sequences.
-
Real-time web search, reasoning, and research through Perplexity's API
-
Production-ready RAG service to search and retrieve data from your documents.
-
Provides tools to search and retrieve Google Gemini API documentation.
Listado em Official MCP Registry (5)
-
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
-
Stateful SageMath MCP server with 40 tools and a sandboxed Sage session per client.
-
Learning Model Context Protocol
Basic arithmetic tools with natural-language expression parsing and evaluation.
-
Math.js MCP — wraps the mathjs.org API (free, no auth)
-
TeX math, TikZ figures, and tables in the PowerPoint or Word file you have open, from chat.
Listado em npm registry (MCP servers) (5)
-
Local persistent memory and Markdown wiki for AI coding agents: 24 MCP tools, no gateway required.
-
AI co-pilot for Foundry VTT: runs combat, scenes, voices and audio. Requires the Familiar module.
-
easy-notion io.github.misterwigglesworth/easy-notion
Markdown-first Notion MCP server. ~6-7x fewer response tokens vs official Notion MCP. 43 tools.
-
easytable-mcp io.github.chrischall/easytable-mcp
easyTable restaurant reservations for Claude — availability, and create/modify/cancel bookings
-
dealflowpro io.github.jbechtel-97/dealflowpro
Multifamily real estate deal analysis — cap rate, DSCR, IRR, DFP Score, max offer price
Encontrados pelo significado, não por código ou repositório em comum: plugins semelhantes continuam sendo produtos distintos, e isto não é uma avaliação nem uma recomendação.
Quer esta marca no seu plugin em nosso catálogo?
Prove que o mantém com um arquivo no repositório, um arquivo no seu domínio ou um registro DNS, e você poderá mostrar esta marca na ficha, com banners ao vivo para o seu site e o README. Como funciona a verificação
Você também recebe alertas quando um marketplace o publica, o remove, muda a marca de verificado ou o que ele pede, e o endpoint remoto passa a ser monitorado como um serviço web.
Dados de Community GitHub marketplaces. Os números vêm das nossas próprias passagens regulares pelos marketplaces, última leitura em . Não publicamos dados de contato dos editores de plugins.