MakerChecker 把 agent 安全治理拆成 scanner、embedded library、server gateway、SDK 和 proof verifier。`npx @makerchecker/scan .` 用于找出 agent 已经能做的高风险动作,例如删数据、转账、跑 shell、外泄 secret;运行时则用 deny-by-default、role grants、人审 gate 阻止 agent 自批。它的审计链用 Ed25519 签名和 hash chaining,重点是让“谁允许了哪个 tool call”可离线验证,而不只是在日志里搜索。
–浏览
评论 · Comments