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

Kritisi - Multichain Security Audit Explorer for Solidity

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

工具介绍

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

相似链接

Learn Prompting
暂无图片
222 0

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

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

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

人工智能
区块链
开源
Mobile Credits
暂无图片
81 0

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

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

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

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

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

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

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

AI安全
GenAI
威胁检测
JIT
暂无图片
JIT
90 0

JIT:人人可用的AI编码。一个AI驱动的编码平台,通过智能代码生成和工作流程自动化加速开发。

AI编码
代码生成
自动化
Nightfall AI
暂无图片
152 0

Nightfall是一个一站式数据防丢失平台,利用AI防止数据泄露,提供对数据流的可视性,并在SaaS、生成AI应用、端点等多个领域阻止数据外泄。

数据安全
AI平台
数据防丢失