claude

math

Proof structure enforcement (claim/assumptions/proof/where-used) plus a real SymPy verification round-trip for symbolic and numeric sub-claims, with Lean-formalization candidates flagged (not forced).

0 on GitHubupdated 15 days agomath
/

Plugin math from marketplace skills-personal in dkritarth/skills-personal. Commands read from the repo's manifest — 12 days ago.

What it installs

Skills (1)

  • math

    Enforces structured mathematical proof formatting (Claim, Assumptions, Proof, Where Used) and runs symbolic and numeric verification on extracted sub-claims using SymPy.

View source on GitHub dkritarth.com

Problems found in this repo's manifests

  • "mattpocock-skills" points to ./skills/mattpocock-skills, which doesn't exist in the repo — install will fail
  • "research-paper-writing" points to ./skills/research-paper-writing-skills/research-paper-writing, which doesn't exist in the repo — install will fail

More from dkritarth/skills-personal

All 31 plugins →

Claude API and SDK documentation skill for building LLM-powered applications

17 skills

0

Collection of document processing suite including Excel, Word, PowerPoint, and PDF capabilities

17 skills

0

Collection of example skills demonstrating various capabilities including skill creation, MCP building, visual design, algorithmic art, internal communications, web testing, artifact building, Slack GIFs, and theme styling

17 skills

0

Imported skill: agents-sdk.

1 skill

0

Imported skill: cloudflare.

1 skill

0

Similar plugins

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; /math-proof:siege works on it for hours in rounds of judge and worker sub-agents and says plainly what is and is not proved.

2 skills · 3 agents

anthropics/claude-plugins-official 47,076

Internal BizOps domain. v2.8.0 ships 7 skills: orchestrator + process-mapper (BPMN/bottleneck/cycle-time, Lean+TOC) + vendor-management (scorecard+SLA+3rd-party risk, NIST SP 800-161/ISO 27036) + capacity-planner (Erlang-C queueing math for ops teams, NOT engineering) + internal-comms (ADKAR+Kotter 8-step, NOT marketing) + knowledge-ops (SOP+runbook+KB hygiene with 5W2H, context: fork) + procurement-optimizer (UNSPSC spend categorization + supplier consolidation). Orchestrator uses context: fork to route inquiries via Matt Pocock grill discipline (one question per turn, recommended answer, canon-cited challenge). Every SKILL.md ships a Forcing-question library section. 18 stdlib Python tools, 24+ reference docs. Distinct from business-growth (external sales) and c-level-advisor (strategic).

7 skills · 8 commands · 1 agent

alirezarezvani/claude-skills 29,725

Create narrated Mandarin math and science tutorial videos or interactive explainers from problem statements and images.

1 skill

QwenLM/Qwen-MM-Plugins 3,203

edulab

claude

教育类技能集合:把学科问题转成可交互教学网页与讲解视频。edu-solid-geometry 立体几何解题(建系+向量法,3D + MathJax);edu-analytic-geometry 解析几何/圆锥曲线解题(sympy 精确计算 + 实时交互 2D 画板 + KaTeX);edu-chem-reaction 化学反应微观 3D 演示(sympy 自动配平 + 原子守恒,morph/mechanism 双引擎,Three.js + KaTeX);edu-math-video 数学题讲解视频(GLM-TTS 中文配音 + 中英双语字幕 + 手绘动画,渲染成 MP4)。

6 skills

wy51ai/edulab 1,785

Foundry

codex

Growth ops for ad agencies: audit accounts, write English and Arabic client reports and run ROAS maths, with live Google and Meta changes locked behind a human at a terminal.

1 skill

hashgraph-online/awesome-codex-plugins 1,566

Executable business calculators & models — each ships a stdlib script: Unit Economics (LTV/CAC), SaaS Metrics (NRR/quick ratio), Runway (default alive/dead), Pricing, ROI/NPV — plus computed models that emit real .xlsx with live formulas: cohort curve fitting (LTV), Monte Carlo runway (P10/P50/P90), and Van Westendorp pricing. Verifiable math, not vibes.

30 skills

mohitagw15856/pm-claude-skills 1,544

Maintain math?

This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.

claude & codex plugins31 plugins