mathematics-formal
byleonardodalinky· 32 skills
Formal mathematics for scientific computing — symbolic computation (sympy), numerical linear algebra, optimization (convex/non-convex), information theory, and numerical precision issues. Use when working with mathematical derivations, proofs, or rigorous numerical analysis.
How to install mathematics-formal?
leonardodalinky/scider/mathematics-formal
$npx -y skills add leonardodalinky/scider --skill mathematics-formalInstalls into the current project.
›Prefer a prompt? Paste this to your agent
Run `npx skills use "https://github.com/leonardodalinky/scider" --skill "leonardodalinky/scider/mathematics-formal"` and follow the generated skill instructions now. Read its complete output, redirecting it to a temporary file first if necessary. Resolve relative paths from the supporting-files directory it provides.
Use the skills in "https://github.com/leonardodalinky/scider" that are relevant to the current task. Run `npx skills add "https://github.com/leonardodalinky/scider"` and select the relevant skills, then follow their instructions.
Related
6 picksType
- azure-kustoQuery and analyze data in Azure Data Explorer (Kusto/ADX) using KQL for log analytics, telemetry, and time series analysis.Jul 2026
- analyticsWhen the user wants to set up, improve, or audit analytics tracking and measurement.Jul 2026
- firecrawl-dashboard-reportingPull metrics from analytics dashboards and internal web tools with Firecrawl browser.Jun 2026
- data-storytellingTransform data into compelling narratives using visualization, context, and persuasive structure.Jul 2026
- data-visualizationCreate effective data visualizations with Python (matplotlib, seaborn, plotly).Jul 2026
- extension-oqlMake a canister's data queryable by the Caffeine Data Intelligence agent.Jul 2026
