Math Help

parcadei/continuous-claude-v3

This is a comprehensive guide to Claude's math computation stack, not a tool itself. It maps five layers of mathematical capability: SymPy for symbolic algebra, Z3 for constraint solving and proofs, a scratchpad for verifying reasoning chains, a tutor mode with progressive hints (1-5 levels from conceptual to full solution), and Lean 4 for formal proofs. The quick reference table is genuinely useful for picking between sympy_compute.py, numpy_compute.py, z3_solve.py, and the rest. Think of it as internal documentation that helps you choose the right hammer when you need exact algebraic solutions versus numerical optimization versus theorem proving. The workflows section shows common patterns like solve-then-verify. It's meta-tooling that prevents you from reaching for scipy when you actually need symbolic computation.

skills.sh installs

545

GitHub stars

3.9K

last updated

Aug 21, 2026

Sponsors

Promote your product hereReach 125k+ visitors monthlyPromote your product hereReach 125k+ visitors monthlyAgent CaffeineSponsoredClose your lid, come back to finished workSnugSponsoredThe clipboard manager for the AI eraPromote your product hereReach 125k+ visitors monthlyWaxSponsoredBlock anything with supervision, without erasing your iPhonePromote your product hereReach 125k+ visitors monthlyknobsSponsoredSee your site on any phone, any day, in any language

Recommended

More Documentation

1figma-designmanutej/luxor-claude-marketplaceFigma workflows, components, auto layout, constraints, prototyping, design systems, and plugin development based on Figma Plugin API documentation544skills.sh installs

2dsqlawslabs/mcpBuild with Aurora DSQL — manage schemas, execute queries, handle migrations, diagnose query plans, load data, and develop applications with a serverless, distri541skills.sh installs

3simplify-and-hardenpskoett/pskoett-ai-skillsPost-completion self-review for coding agents that runs simplify, harden, and micro-documentation passes on non-trivial code changes. Use when: a coding task is540skills.sh installs

4mermaidmarkdown-viewer/skillsCreate flowcharts, sequence diagrams, state machines, class diagrams, Gantt charts, and mindmaps using simple text-based syntax. Best for process flows, API int539skills.sh installs

5agent-tool-builderdavila7/claude-code-templatesTools are how AI agents interact with the world. A well-designed tool is the difference between an agent that works and one that hallucinates, fails silently, o537skills.sh installs

6content-research-writerdavila7/claude-code-templatesAssists in writing high-quality content by conducting research, adding citations, improving hooks, iterating on outlines, and providing real-time feedback on ea533skills.sh installs