run-receipts

MartinLoop 是一个用于控制 AI 编码代理的工具，带有限制、证明和运行收据。