api-evangelist/certik

GitHub: api-evangelist/certik

CertiK 是一个结合 AI、形式化验证和专家审计的 Web3 安全平台，通过 Skynet API 向集成方提供区块链项目的多维度安全评分与安全情报。

Stars: 0 | Forks: 0

# CertiK CertiK 是一家作为 insight-partners、lightspeed-venture-partners、softbank-vision-fund、wing-venture-capital 的投资组合公司而崭露头角的公司，并已作为待补全的条目加入到 API Evangelist 网络中。所属行业：网络安全。此档案是一个线索，正等待进入补全流程。投资方：insight-partners、lightspeed-venture-partners、softbank-vision-fund、wing-venture-capital — https://www.certik.com/

标签：Web3安全, 区块链, 威胁情报, 安全评分API, 开发者工具, 形式化验证, 智能合约审计