varun369/skillfortify

First formal security scanner for AI agent skills & plugins. Static analysis, supply chain verification, SBOM generation. 22 frameworks supported including MCP, LangChain, CrewAI.

2 best points · 3 comments · 2 Hacker News posts · 39 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: SkillFortify, a formal verification for AI agent skills (2 points, 2 comments, by varunpratap369, 2026-02-26)
• Show HN: SkillFortify, Formal verification for AI agents (auto-discovers) (2 points, 1 comments, by varunpratap369, 2026-03-01)