AINeutralarXiv – CS AI · 3h ago6/10
🧠
Semia: Auditing Agent Skills via Constraint-Guided Representation Synthesis
Semia is a static auditor for LLM-driven agent skills that uses constraint-guided synthesis to analyze security risks in hybrid code-and-prose configurations. Testing 13,728 real-world skills from public marketplaces, Semia identified critical semantic vulnerabilities in over half and achieved 97.7% recall, significantly outperforming existing security tools.