Formal Analysis and Supply Chain Security for Agentic AI Skills

Varun Pratap Bhardwaj

32 pages, 5 theorems with full proofs, 68 references, open-source tool: https://github.com/qualixar/skillfortify. v2: corrects the bibliography (22 entries had author lists that di…