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…
Plugin-Paket · von Alberto Leal
Überblick
long-form-math ist ein Plugin-Paket für KI-Coding-Tools von Alberto Leal. Marktplätze, die wir lesen und die es listen: 1 (Community GitHub marketplaces). Die letzte erfasste Änderung war am 2026-10-19. Stand unseres Marktplatz-Durchlaufs vom 2026-10-21.
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.
Was es abfragt
- Wird als Plugin-Paket installiert
Keiner der Marktplätze, die wir lesen, veröffentlicht seine Tools oder die abgefragten Einstellungen.
Was es deklariert, abfragt und ausführt, vollständig
Installieren Sie nur Plugins von Entwicklern, denen Sie vertrauen. Wir zeigen, was die Marktplätze veröffentlichen, und testen keine Plugins.
Funktioniert mit
- Claude Code
Nach den Marktplätzen, die ihn listen, und dem angegebenen MCP-Transport, wie jeder Client sie dokumentiert. Wir testen keine Plugins.
Verbinden
Befehle und Konfigurationen nur aus den Angaben der Marktplätze. Wir führen sie nicht für Sie aus und testen keine Plugins.
Als Claude-Code-Plugin
Erstellt aus den Angaben von Community GitHub marketplaces.
/plugin marketplace add dashed/claude-marketplace
/plugin install long-form-math@alberto-marketplaceWo es veröffentlicht ist
| Marktplatz | Status | Version | Zahlen | Verifiziert | Erstmals gesehen |
|---|---|---|---|---|---|
| Community-Marktplatz dashed/claude-marketplace (Quelle auf GitHub öffnen) | Gelistet | 1.0.0 | Forks (GitHub): 10 Sterne (GitHub): 25 |
Nicht markiert |
Jede Zahl stammt vom jeweiligen Marktplatz und wird nie über Marktplätze hinweg addiert. Ein Marktplatz ohne veröffentlichte Zahl zeigt keine: keine Zahl ist nicht null.
In einem Community-Marktplatz gelistet
| Marktplatz | Repository | Sterne (GitHub) |
|---|---|---|
| alberto-marketplace | dashed/claude-marketplace | 25 |
Wie sich die Zahlen entwickelt haben
- 2026-10-1910
- 2026-10-2010
- 2026-10-1925
- 2026-10-2025
Jeder Punkt ist ein Tag, an dem wir eine andere Zahl gelesen haben; flache Abschnitte sind Tage ohne Veränderung. Zahlen verschiedener Marktplätze werden nie addiert.
Was das Paket enthält
So veröffentlicht auf Community GitHub marketplaces.
Skills: 1
long-form-math
Was sich geändert hat
- Wird seitdem als Produkt geführt
- Community GitHub marketplaces: erschienen
Ähnliche Plugins
Produkte, deren eigene Namen, Beschreibungen, Werkzeuge und Skills diesem der Bedeutung nach am nächsten sind, auf allen Marktplätzen, die wir lesen. Die Nähe ist nur innerhalb dieser Liste geordnet.
-
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.
Ähnliche Plugins nach Marktplatz
Dieselbe Frage an jeden Marktplatz einzeln: Gibt es dort ein Gegenstück zu diesem Plugin?
Gelistet auf 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…
Gelistet auf 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.
Gelistet auf 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
Gelistet auf 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.
Gelistet auf 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.
Gelistet auf 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
Gelistet auf 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.
Gelistet auf 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.
Gelistet auf 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.
Gelistet auf 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.
Gelistet auf 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
Nach Bedeutung gefunden, nicht über gemeinsamen Code oder ein gemeinsames Repository: Ähnliche Plugins bleiben getrennte Produkte, und dies ist weder eine Bewertung noch eine Empfehlung.
Möchten Sie dieses Zeichen für Ihr Plugin in unserem Katalog?
Belegen Sie mit einer Datei im Repository, einer Datei auf Ihrer Domain oder einem DNS-Eintrag, dass Sie es pflegen, und Sie können dieses Zeichen auf der Karte zeigen, dazu Live-Banner für Ihre Website und Ihr README. So funktioniert die Verifizierung
Außerdem erhalten Sie Hinweise, wenn ein Marktplatz es aufnimmt, entfernt, sein Verified-Zeichen oder seine Anforderungen ändert, und sein Remote-Endpunkt wird wie ein Webdienst überwacht.
Daten von Community GitHub marketplaces. Die Zahlen stammen aus unseren eigenen regelmäßigen Durchläufen über die Marktplätze, zuletzt abgerufen am . Kontaktdaten von Plugin-Herausgebern veröffentlichen wir nicht.