claude-api
claudeClaude API and SDK documentation skill for building LLM-powered applications
17 skills
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).
Plugin math from marketplace skills-personal in dkritarth/skills-personal. Commands read from the repo's manifest — 12 days ago.
mathEnforces structured mathematical proof formatting (Claim, Assumptions, Proof, Where Used) and runs symbolic and numeric verification on extracted sub-claims using SymPy.
Problems found in this repo's manifests
Claude API and SDK documentation skill for building LLM-powered applications
17 skills
Collection of document processing suite including Excel, Word, PowerPoint, and PDF capabilities
17 skills
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
Imported skill: academic-humanizer.
1 skill
Imported skill: agents-sdk.
1 skill
Imported skill: cloudflare.
1 skill
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
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
Create narrated Mandarin math and science tutorial videos or interactive explainers from problem statements and images.
1 skill
教育类技能集合:把学科问题转成可交互教学网页与讲解视频。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
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
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
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.