针对智能合约源代码的自动化安全审查服务，以PDF报告形式交付。本服务以SOKEN LTD运营的远程MCP服务器方式提供。
功能说明
您可提供已部署合约地址及所在链、公开代码库及提交记录、对话中的源文件，或通过一次性上传链接提供私有代码。服务器将固定精确的源代码，在沙箱环境中进行构建，运行静态分析，并映射入口点、角色、外部调用及升级权限。您的AI客户端会话通过只读工具读取已固定的代码，结合代码引用对每条发现进行确认或驳回，并提交结果。服务器强制执行源代码完整性验证（拒绝与固定代码不符的引用），计算所有数量和总计，并应用固定的严重性矩阵。输出结果为托管于soken.dev的PDF报告。
报告发布前，SOKEN LTD的工作人员不会查阅代码或发现内容。本服务为自动化审查，而非人工审计。
连接方式
将服务器URL添加至任何兼容MCP的客户端：
https://mcp.soken.dev/mcp
无需身份验证。以下步骤适用于大多数MCP客户端：
- Claude (claude.ai 或 Claude Code)：在MCP服务器设置中，将该URL添加为远程MCP服务器。工具将自动出现在您的对话中。
- ChatGPT：通过设置中的MCP服务器配置添加该URL。添加后，审查工具将在您的会话中可用。
- Cursor：在MCP服务器配置文件中添加该URL。工具将在编辑器的AI面板中可用。
- 其他MCP客户端：任何支持Model Context Protocol的客户端均可使用上述URL进行连接。请查阅您的客户端文档了解配置详情。
连接后，使用review_start启动审查，使用review_status跟踪进度，使用review_report获取已完成的报告。
支持的网络
- EVM链（Ethereum及EVM兼容网络，包括HyperEVM）
- TRON
- Solana
- TON
- Aptos
目前不支持Starknet和Sui。
支持的语言
- Solidity、Vyper（EVM、HyperEVM、TRON）
- Rust：Anchor、原生、Pinocchio（Solana）
- FunC、Tact、Tolk（TON）
- Move（Aptos）
合理使用限制
每位用户每天最多生成两份报告。对于通过共享AI平台基础设施中继的请求，限制按审查的合约为单位应用，并为该平台设置共享的每日上限。
发布
报告完成后，您可选择发布。发布需要通过发布工具提供明确同意。已发布的报告将在soken.dev/audits的公开报告库及其公开镜像存储库中提供，并标注"Automated by SOKEN MCP"标签。
每个审查目标（同一链上相同的合约地址，或相同的代码库）仅维护一份已发布报告。同一目标的后续已发布审查将替换之前的已发布报告。已发布的报告将保持公开访问状态，直至根据我们的报告删除政策予以删除。
对于您不拥有的代码的报告，在代码所有者验证所有权之前，High和Critical级别发现的漏洞利用详情将在公开档案中予以隐藏。
法律与政策文件
源代码
本服务的源代码可在github.com/Soken-LTD/contract-review获取。
联系方式
如需支持、咨询或反馈：hello@soken.dev