Stellar Community Fund

CredioLabs.AI

SCF #44

Description

Credio Labs (by Untangled) proposes to deliver the OZ Accounts Policy Builder - an MCP server and companion Claude skill that closes a critical gap in the OpenZeppelin Stellar Accounts framework: today, a developer who wants to grant an agent permission to perform a bounded on-chain action (claim Blend yield, pay a subscription, run a bounded SoroSwap trade) must write a context rule and Policy trait implementation by hand. Our tool records a Soroban transaction, synthesises a minimal context rule and policy against the OZ Accounts primitives, runs a 7-dimension deny-case harness to verify the policy denies the right adjacent transactions, presents the result for human review via a Claude skill.

The deliverable exposes five agent-callable MCP tools (record_transaction, synthesize_policy, simulate_policy, verify_policy, install_policy) and an skill that wraps the tools in a four-step conversational flow.