Kritisi - 多链智能合约安全审计工具

Kritisi - Multichain Security Audit Explorer for Solidity

3.5 | 93 | 0
类型:
网站
最后更新:
2025/07/08
资源描述:
AI驱动的工具,用于在Ethereum、Arbitrum、Base和Optimism网络上分析Solidity合约。检测漏洞并通过吉米尼AI获得安全评分。
分享:

工具介绍

Kritisi 是一款AI驱动的安全审计工具,专为分析多个区块链网络(包括Ethereum、Arbitrum、Base和Optimism)上的Solidity智能合约而设计。通过利用吉米尼AI驱动的先进机器学习算法,Kritisi实时扫描智能合约以检测漏洞、识别模式并评估安全风险。该工具提供了一个全面的安全评分系统,提供详细的解释以帮助开发者改进他们的合约。Kritisi支持单文件Solidity合约,并不断改进其模型以提高准确性和覆盖范围。

相似链接

Learn Prompting
暂无图片
149 0

Learn Prompting是一个全面的prompt工程课程,包含60多个模块,翻译成9种语言,并拥有一个活跃的社区。

prompt工程
AI学习
Cortex
暂无图片
139 0

Cortex:一个用于AI模型和AI驱动的dApps的开源区块链平台。在智能合约中实现AI集成的民主化。

人工智能
区块链
开源
hCaptcha Enterprise
暂无图片
66 0

企业级AI安全平台,注重隐私。以更优惠的价格用下一代技术取代reCAPTCHA。

AI安全
机器人检测
欺诈保护
Chainrel
暂无图片
75 0

Chainrel简化了后端服务的区块链事件集成,提供可定制的webhook并支持多条链。

区块链
webhook
集成
Mobile Credits
暂无图片
41 0

Mobile Credits提供一个由AI驱动的去中心化自动支付处理器,实现全球范围内快速且安全的实时资金转账。

去中心化支付
AI安全
实时交易
Codimite
暂无图片
88 0

通过AI驱动的离岸团队加速您的AI辅助离岸开发,降低成本并推动创新。

人工智能
离岸开发
软件工程
Aporia
暂无图片
73 0

Aporia为任何AI工作负载提供最新的Guardrails和可观察性。使用Aporia实现安全可靠的AI。

AI安全
守护栏
可观察性
Lakera Guard
暂无图片
89 0

Lakera提供实时的GenAI安全平台,通过低延迟的AI应用防火墙阻止prompt攻击、数据丢失和不适当的内容。

AI安全
GenAI
威胁检测