Show HN: SkillFortify, Formal verification for AI agents (auto-discovers) | Hacker News

For anyone who wants to try it right now: pip install skillfortify skillfortify scan If you have Claude Code, Cursor, VS Code with MCP, or any other AI coding tool installed, it will find them automatically. To see the HTML dashboard: skillfortify dashboard ~/my-project Opens a standalone HTML file with interactive filters, risk distribution, and per-skill capability breakdowns. Share it with your security team as a single file — they don't need to install anything. If you find a framework we don't support yet, open an issue. Adding a new parser takes about a day.