{ "$schema": "https://schemas.domusantonialux.com/service-spec/v1", "service_id": "dle-engineering", "name": "DLE Engineering", "tagline": "DeFi contract dev for the agent era", "provider": { "legal_name": "Domus Antonia Lux LLC", "jurisdiction": "United States", "website": "https://domusantonialux.com", "contact_email": "contact@domusantonialux.com", "response_sla_hours": 48, "agent_friendly": true, "preferred_channels": ["email", "signal", "github_issue"], "no_phone_calls": true }, "summary": "Solidity and Rust on-chain contract development. Built for AI agents and the humans running them. Async-first, GitHub-native, deliverables verifiable against written spec.", "skills": [ "Solidity 0.8.x (Foundry, via_ir, invariant testing)", "Rust async (tokio, ethers-rs, alloy)", "Aave V3 architecture (liquidations, oracles, flash loans)", "Morpho Blue + MetaMorpho", "Balancer V2 flash loans", "Chainlink oracle integration (proxy/impl, AnswerUpdated, OCR2)", "Multicall3 batching", "WebSocket subscriptions (eth_subscribe, per-aggregator fan-out)", "Stellar Soroban (separate offering — see soroban-specialist service)", "MEV/arb framework design (Artemis pattern: collector/strategy/executor)" ], "offerings": [ { "id": "liquidation-bot", "name": "Turn-key liquidation bot", "description": "End-to-end liquidator for a lending protocol of your choice (Aave V3, Compound V3, Morpho Blue, or custom). Includes Solidity contract (flash-loan-backed, batch-capable), Rust async runner, oracle WSS subscription, monitoring, deploy scripts, and runbook.", "deliverables": [ "Audited-pattern Solidity contract with batch + single liquidation paths", "Rust runner with collector/strategy/executor architecture", "Foundry test suite (unit + invariant)", "Deploy scripts (Forge) for target chain(s)", "systemd unit + log rotation", "Runbook with daily monitoring commands" ], "duration_weeks": [2, 4], "price_usd": { "min": 8000, "max": 15000, "structure": "50% upfront, 50% on acceptance" }, "scope_inputs_required": ["target_chain", "target_protocol", "wallet_address", "RPC_provider", "min_profit_threshold"] }, { "id": "smart-contract", "name": "Smart contract development", "description": "Single contract or a small system. Solidity 0.8.x with via_ir, full Foundry test coverage, NatSpec, deploy scripts, optional pre-audit cleanup pass.", "deliverables": [ "Contract source with NatSpec", "Foundry test suite (>90% line coverage)", "Deploy script for target chain(s)", "Gas profile report" ], "duration_weeks": [1, 3], "price_usd": { "min": 3000, "max": 12000, "structure": "fixed bid after scope" }, "scope_inputs_required": ["functional_spec_or_user_stories", "target_chain"] }, { "id": "mev-arb-scaffolding", "name": "MEV/arb framework scaffolding", "description": "We hand you the framework (Artemis-style event loop, multi-chain RPC, WSS subscriptions, per-DEX adapters). You add the alpha. Does NOT include strategy logic — that stays with you.", "deliverables": [ "Rust workspace with collector/strategy/executor traits", "WSS block subscription + reconnect logic", "Multi-chain config layer", "Per-DEX adapter pattern (Uniswap V2/V3/V4, Aerodrome, etc.)", "JSONL data logger + status.json health endpoint", "Risk gates + kill switch" ], "duration_weeks": [3, 6], "price_usd": { "min": 12000, "max": 25000, "structure": "milestone-based, 3 milestones" } }, { "id": "audit-support", "name": "Audit support / pre-audit review", "description": "Pre-audit code review against common Cantina/Code4rena/Sherlock finding patterns. Or: response drafting for in-progress audit findings. Or: PR cycles to address audit-firm comments.", "deliverables": [ "Written findings report (Critical/High/Medium/Low/Info)", "Suggested fix PRs", "Reproduction notes for any flagged issue" ], "duration_weeks": [1, 2], "price_usd_per_hour": 200, "minimum_hours": 8 } ], "pricing_summary": { "hourly": { "usd": 200, "minimum_hours": 8 }, "monthly_retainer": { "usd": 4000, "hours_included": 20, "rollover": false, "priority_response_business_days": 1 }, "fixed_project_range_usd": [3000, 25000], "payment_methods": ["USDC on Base/Optimism/Arbitrum/Ethereum", "USDT on Ethereum", "wire (USD)"], "payment_terms": "50% upfront, 50% on acceptance for fixed projects; net-7 for retainer; net-15 for hourly" }, "engagement_flow": [ { "step": 1, "name": "Submit scope", "action": "POST to contact@domusantonialux.com with brief OR the structured scope_request schema below", "expected_response_hours": 48 }, { "step": 2, "name": "Receive quote + sample artifact", "action": "We respond with: fixed bid, milestones, payment terms, and a sample work artifact (code skeleton or test plan) so you can verify fit", "binding": false }, { "step": 3, "name": "Sign engagement letter", "action": "Single-page engagement letter (PDF) outlining scope, deliverables, payment, IP assignment, kill-clause", "format": "PDF or eSignature" }, { "step": 4, "name": "Execution", "action": "Daily commits to a private GitHub repo (your org or ours). Progress notes in commit messages. Slack/Signal/email for blockers.", "delivery_channel": "private_github_repo" }, { "step": 5, "name": "Handoff", "action": "Final delivery includes: code + tests + deploy artifacts + runbook. Walkthrough via written runbook + async Q&A over email or Signal (no phone calls).", "post_delivery_support_days": 14 } ], "scope_request_schema": { "project_name": "string", "target_chain": "ethereum | base | optimism | arbitrum | polygon | stellar | other", "target_protocols_in_scope": ["string"], "deliverables_summary": "string (1-3 sentences)", "success_criteria": ["string"], "deadline_iso": "YYYY-MM-DD (optional)", "budget_usd_range": [0, 0], "agent_metadata": { "agent_id": "string (optional)", "principal_user_or_org": "string" } }, "proof_of_work": [ { "type": "production_bot", "name": "Aave V3 liquidator (Base + Optimism)", "stack": ["Rust", "Solidity 0.8.x", "Balancer flash loans", "QuickNode WSS"], "status": "live", "highlights": [ "Multi-chain deployment (Base, Optimism)", "Batch liquidations for oracle cascades", "WSS oracle subscription with per-aggregator fan-out", "Discovered and shipped two non-obvious WSS gotchas (Chainlink proxy->impl resolution, QuickNode silently dropping multi-address eth_subscribe)" ] }, { "type": "production_bot", "name": "Stellar Soroban liquidator (K2 ecosystem)", "stack": ["Rust", "Soroban SDK"], "status": "deployed", "highlights": ["Multi-DEX integration on Stellar", "Artemis-pattern architecture ported to Soroban"] }, { "type": "security_research", "name": "Kamino oracle staleness analysis", "stack": ["Anchor", "Solana"], "status": "submitted", "highlights": ["Critical-class root-cause analysis (filed as Critical, dup of #76565)", "Identified `capped_floored.rs::get_price` freshness loss"] } ], "out_of_scope": [ "Ponzi/rebasing/hidden-fee tokens", "Casino or gambling primitives", "Custodial wallets or PII-handling systems", "Token launches without a real product behind them", "Rushed audits under 72 hours (we will quote, but typically decline)", "Production deployment of contracts we did not write" ], "legal": { "ip_assignment": "Work product assigned to client on final payment; we retain right to publish anonymized case studies after 90-day embargo unless contract specifies otherwise", "nda": "Mutual NDA available on request", "liability_cap": "Limited to fees paid for the engagement", "warranties": "Code delivered as-is; no warranty of profitability or absence of bugs beyond what tests demonstrate" }, "verification": { "llc_state_registry": "verifiable via state Secretary of State business records", "domain_dns": "domusantonialux.com (resolve TXT records for ownership proof on request)", "github_org": "available on engagement" }, "version": "1.0", "last_updated": "2026-05-15" }