SJTU USC
agent-audit. Static security scanner for LLM agents — prompt injection, MCP config auditing, taint analysis. 51 rules mapped to OWASP Agentic Top 10 (2026). Works with LangChain, CrewAI, AutoGen.
203defi-shield. Static security analyzer for AI Agent × DeFi/Blockchain interactions
1bv-rag. Python
1