Static worst-case token-budget analysis for LLM-agent workflows + signed budget certificates.
Verification confirms publisher identity (repo ownership), not code safety. The security scan covers known CVEs and suspicious install scripts — it cannot prove the absence of malicious code.
Static worst-case token-budget analysis for LLM-agent workflows + signed budget certificates.