skills.homes logoskills.homescapability registry
home/categories/computational-chemistry/alexander-m-dickerson-ai-asset-pricing-claude-skills-audit-math-skill-md
cd ..
computational-chemistryresearch

audit-math

Adversarial audit of mathematical proofs, derivations, and formal environments

سورس دیکھیںcomputational-chemistry
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