slither05's Stars
THUDM/ChatGLM3
ChatGLM3 series: Open Bilingual Chat LLMs | 开源双语对话语言模型
crytic/slither
Static Analyzer for Solidity and Vyper
Consensys/Legions
Ethereum/EVM Node Security Toolkit
slither05/slither
Static Analyzer for Solidity and Vyper