home/categories/computational-chemistry/alexander-m-dickerson-ai-asset-pricing-claude-skills-audit-math-skill-md
computational-chemistryresearch

audit-math

Adversarial audit of mathematical proofs, derivations, and formal environments

Alexander-M-Dickerson
maintainer
Alexander-M-Dickerson
Обновлено 3/12/2026
Звёзды
35
Форки
5
quick start

Installation and usage

Adversarial audit of mathematical proofs, derivations, and formal environments

Установка
$ install --globalskills.sh
Использование

После установки вы можете использовать этот skill, выполнив следующую команду в терминале:

skills use audit-math