VeriSom

请使用 VeriSom 分析这个 Somnia 合约地址的安全性，并返回交互前安全评分、主要风险点，以及是否建议代理继续调用：0x1234567890abcdef1234567890abcdef12345678。

返回一个安全评分，并附带主要风险说明与继续/停止交互建议。

请用 VeriSom 对比以下 3 个 Somnia 合约的安全评分，按风险从低到高排序，并总结每个合约最值得关注的问题：合约A 0xaaa..., 合约B 0xbbb..., 合约C 0xccc...。

输出排序后的评分结果，以及每个合约的核心风险摘要，便于选择更安全的目标。

请调用 VeriSom 获取目标合约的交互前安全评分；如果分数低于 70，则标记为高风险并阻止执行；如果高于等于 70，则返回可继续执行的结论和简要依据。

返回可直接用于自动化流程的评分、风险级别和执行建议。