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
사용법

설치 후 터미널에서 다음 명령을 실행하여 이 스킬을 사용할 수 있습니다:

skills use audit-math