Download

Skill UI

Browse and discover 6556+ curated skills

All Development Artificial Intelligence Design & Creative Product & Business Data Science Marketing Soft Skills Productivity Engineering Languages

Search Math , found 8 results

Default Newest Most Downloaded

SAELens Sparse Autoencoder Tool

sparse-autoencoder-training

Orchestra-Research/AI-Research-SKILLs

Guides researchers through training and analyzing Sparse Autoencoders with SAELens to decompose neural activations into interpretable concepts, understand superposition, and steer or audit transformer models with sparse feature math.

Verl RL Training

verl-rl-training

Orchestra-Research/AI-Research-SKILLs

Guides RLHF-style LLM fine-tuning with verl's HybridFlow stack, scaling PPO/GRPO/DAPO across FSDP/Megatron/vLLM backends for math reasoning, agentic multiturn, and vision-language workflows.

MATLAB Octave Toolkit

K-Dense-AI/claude-scientific-skills

MATLAB Octave Toolkit provides guidance for MATLAB and GNU Octave scripting, covering matrix math, visualization, data I/O, control flow, statistics, differential equations, and signal processing workflows.

Python Symbolic Math

K-Dense-AI/claude-scientific-skills

Guides using SymPy for symbolic mathematics in Python, covering algebra, calculus, linear systems, physics, number theory, geometry, and code generation when exact formulas or symbolic output is required instead of numeric approximations.

Advanced Mathematical Audit

sickn33/antigravity-awesome-skills

Rigorous, Tao-inspired mathematical analysis of code and architectures, applying information theory, graph theory, complexity, probability, and formal logic to uncover structural truths and verify invariants.

Secure OAuth2 Authorization Flow

configuring-oauth2-authorization-flow

mukul975/Anthropic-Cybersecurity-Skills

Guides teams through implementing secure OAuth 2.0 flows such as Authorization Code with PKCE, Client Credentials, and Device Authorization, covering PKCE math, scope design, token lifecycle, and OAuth 2.1 best practices.

Olympiad Proof Solver

anthropics/claude-plugins-official

Solves olympiad-level math problems using pure reasoning, runs adversarial verification after each attempt, reports confident answers or honest abstentions, and compiles verified proofs into PDFs when available.

Solidity AMM Security

defi-amm-security

affaan-m/everything-claude-code

Checklist for securing Solidity AMMs, detailing reentrancy defenses, CEI ordering, donation manipulation guards, oracle hardening, slippage checks, reserve math safety, and audit tooling for liquidity pools and swap flows.

1

Language