SeClaw: Spec-Driven Security Task Synthesis for Evaluating Autonomous Agents | ArxivCSExplorer