Contract eedff0a795b783a0491d07c005bc7514475b8bcaa9c17724579659872fa46f4b

fn init(
    env: soroban_sdk::Env,
    admin: soroban_sdk::Address,
    token_contract: soroban_sdk::Address,
)

fn deposit(env: soroban_sdk::Env, user: soroban_sdk::Address, amount: i128)

fn upgrade(
    env: soroban_sdk::Env,
    admin: soroban_sdk::Address,
    new_wasm_hash: soroban_sdk::BytesN<32>,
)

fn get_task(env: soroban_sdk::Env, task_id: soroban_sdk::Symbol) -> Task

fn withdraw(env: soroban_sdk::Env, user: soroban_sdk::Address, amount: i128)

fn get_admin(env: soroban_sdk::Env) -> soroban_sdk::Address

fn get_token(env: soroban_sdk::Env) -> soroban_sdk::Address

fn cancel_task(
    env: soroban_sdk::Env,
    task_id: soroban_sdk::Symbol,
    caller: soroban_sdk::Address,
)

fn create_task(
    env: soroban_sdk::Env,
    task_id: soroban_sdk::Symbol,
    user: soroban_sdk::Address,
    agent_type: soroban_sdk::Symbol,
    reward: i128,
)

fn get_balance(env: soroban_sdk::Env, user: soroban_sdk::Address) -> i128

fn is_executor(env: soroban_sdk::Env, executor: soroban_sdk::Address) -> bool

fn get_registry(env: soroban_sdk::Env) -> Option

fn set_executor(env: soroban_sdk::Env, executor: soroban_sdk::Address, allowed: bool)

fn set_registry(
    env: soroban_sdk::Env,
    admin: soroban_sdk::Address,
    registry_contract: soroban_sdk::Address,
)

fn complete_task(
    env: soroban_sdk::Env,
    task_id: soroban_sdk::Symbol,
    caller: soroban_sdk::Address,
    pay_executor: bool,
    output_hash: soroban_sdk::BytesN<32>,
)

fn get_proof_contract(env: soroban_sdk::Env) -> Option

fn set_proof_contract(
    env: soroban_sdk::Env,
    admin: soroban_sdk::Address,
    proof_contract: soroban_sdk::Address,
)