math

Multi-layer cognitive stack for machine-verified mathematical problem solving across 14 sub-disciplines.

Opciones de instalación

De forma predeterminada está seleccionado el prompt que primero revisa el origen. Puedes cambiar a un comando directo o descargar una copia local.

Instalar con Codex o Claude Copia este prompt, pégalo en Codex, Claude u otro asistente, y deja que revise la página de la skill y la instale por ti.

Un comando directo omite el prompt de revisión. Revisa el origen antes de ejecutarlo.

npx skills add https://github.com/vibeeval/vibecosystem --skill math

El comando permanece en una sola línea. Desplázate horizontalmente para revisarlo antes de copiarlo.

¿Prefieres una copia local? Descarga los archivos que SkillsMP tiene disponibles ahora.

Lee SKILL.md y los archivos complementarios que muestra SkillsMP antes de decidir si quieres instalarlo.

Explorador de archivos

51 archivos

SKILL.md

Instrucciones de origen · Vista previa de solo lectura

name	math
description	Multi-layer cognitive stack for machine-verified mathematical problem solving across 14 sub-disciplines.

A structured collection of skills for mathematical reasoning, proof construction, and problem solving.

Directory	Topic
abstract-algebra	Groups, rings, fields, homomorphisms
category-theory	Functors, natural transformations, adjoints
complex-analysis	Holomorphic functions, contour integration
functional-analysis	Banach/Hilbert spaces, operators
graph-number-theory	Graph theory and number-theoretic results
information-theory	Entropy, channel capacity, coding
linear-algebra	Vector spaces, matrices, eigenvalues
math-intuition-builder	Build intuition before formalization
math-model-selector	Choose the right mathematical model
math-progress-monitor	Track proof progress and open goals
mathematical-logic	Propositional and first-order logic, proofs
measure-theory	Sigma-algebras, integration, probability foundations
numerical-methods	Approximation, error analysis, algorithms
odes-pdes	Ordinary and partial differential equations
optimization	Convex, combinatorial, gradient-based optimization
real-analysis	Limits, continuity, differentiation, integration