Varun Pratap Bhardwaj

SkillFortify: Formal Analysis and Supply Chain Security for Agentic AI Skills

The rapid proliferation of agentic AI skill ecosystems—exemplified by OpenClaw (228,000 GitHub stars as of February 2026) and Anthropic Agent Skills (75,600 stars at the same date)—has introduced a critical supply chain attack surface. The ClawHavoc campaign (January–February 202...

SkillFortify: Formal Analysis and Supply Chain Security for Agentic AI Skills

The rapid proliferation of agentic AI skill ecosystems—exemplified by OpenClaw (228,000 GitHub stars as of February 2026) and Anthropic Agent Skills (75,600 stars at the same date)—has introduced a critical supply chain attack surface. The ClawHavoc campaign (January–February 202...