EmanHerawy/halal_audit_scanner

# halal_audit_scanner 一个用于根据伊斯兰教法合规标准审计 Web3 智能合约的 Claude Code 技能。 运行在**代码和逻辑层面** —— 绝不信任名称或标签。一个名为“服务费”的函数如果实质上充当利息，无论其称作什么，都会被标记为 Riba。 ## 检查内容 | 支柱 | 覆盖范围 | |---|---| | **Riba** | 基于时间的利息、同质代币通胀、抵押品滥用、闪电贷角色 | | **Gharar** | 隐蔽的管理员权限、预言机风险、费用隐瞒、无时间锁的可升级代理 | | **Maysir** | 基于机会的资金分配、彩票机制、奖池 | | **行业** | 核心商业模式本质上是否符合 Halal？ | 始终包含一份**审计师许可裁决** —— 说明穆斯林开发者或安全审计师是否可以参与该项目。 ## 参考标准 - AAOIFI 伊斯兰教法标准第 21、59、62 号 - OIC Fiqh Academy 决议 - 当代学者共识（Mufti Faraz Adam 等） ## 范围 仅限智能合约（.sol / .rs / .move） ## 安装说明 ``` cp SKILL.MD ~/.claude/commands/halal_audit_scanner.md ``` 或者通过符号链接保持其与代码仓库同步： ``` ln -s "$(pwd)/SKILL.MD" ~/.claude/commands/halal_audit_scanner.md ``` 或者如果已发布到市场，可在 Claude Code 中通过 `/plugin` 安装。 ## 运行 halal_audit_scanner 导航至任何智能合约项目并运行： ``` /halal_audit_scanner ``` 该技能将自动发现合约，展示审计范围摘要，然后让您选择： ``` [1] Full Audit — Riba + Gharar + Maysir + Sector + Dependencies [2] Targeted — pick pillars: R / G / M / D / S or combine (R+G etc.) [3] Quick Verdict — surface scan only ``` ## 输出 一份结构化报告，包括： - 包含每个外部协议伊斯兰教法状态的依赖关系图 - 带有确切代码片段、通俗解释、Fiqh 根本原因 (Illah) 及修复建议的发现 - 最终裁决：✅ 可能是 Halal / ⚠️ 存在争议 / ❌ 不合规 - 审计师许可裁决 ## 免责声明 这是一个**技术代码审查工具 —— 而非教法裁决**。 机构使用请咨询经过认证的伊斯兰教法监督委员会： AAOIFI (巴林) · BNM (马来西亚) · Amanie Advisors · Mufti Faraz Adam (英国) · SRB (巴林)

标签：AAOIFI标准, AI审计, Claude Code, DeFi, Gharar检测, Maysir检测, Move, Riba检测, Rust, Shariah合规, Solidity, Web3, 云安全监控, 代码分析, 代码逻辑审查, 伊斯兰金融, 凭证管理, 区块链安全, 可视化界面, 智能合约审计, 法律科技, 清真认证, 网络流量审计, 金融科技, 静态分析