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
maintainer
Alexander-M-Dickerson
์
๋ฐ์ดํธ๋จ 2026. 3. 12.
์คํ
35
ํฌํฌ
5
quick start
Installation and usage
Adversarial audit of mathematical proofs, derivations, and formal environments
์ค์น
$ install --globalskills.sh
์ฌ์ฉ๋ฒ
์ค์น ํ ํฐ๋ฏธ๋์์ ๋ค์ ๋ช ๋ น์ ์คํํ์ฌ ์ด ์คํฌ์ ์ฌ์ฉํ ์ ์์ต๋๋ค:
skills use audit-math