CoreGuardCoreGuard
$150K · SCF #46★ Stellar Mainnet LIVE

Stellar: Soroban commit + first funded gated swap (ledger 65,338,112) — requesting $150K

Open the Stellar page Apply / back the $150K request
← Launch kit

Funding & incubator applications — drafts

Each draft is written to fit the questions these programs usually ask. Before submitting, open the program's live form and check its current questions, deadlines and eligibility. Keep the claim ceiling: no invented revenue, users, partners or audits.

Shared answers (reuse everywhere)

One-liner: CoreGuard is the verifiable execution truth layer for Bitcoin DeFi and the agent economy: independently verifiable proof of what was authorized and what actually executed.

Problem: Wallets, bots and AI agents move value on-chain, but the only evidence of what they did is a log written by the same process that executed. A log can't prove itself and can be edited without contradiction.

Solution: Signed intent (EIP-712) → policy check by the Execution Firewall (ALLOW / DENY / HOLD) → execution → deterministic receipt → independent verification → on-chain anchor. If anything is UNKNOWN, execution stays HELD.

Traction (true today): Proof Artifact #1, a real automated agent execution on Core Mainnet, L1 VERIFIED; EvidenceRegistry live on Mainnet 0x037dF08F…9EA6E, verified across two independent RPCs; 38 open packages; 15-document submission pack; reproducible with npm run demo:90s:live.

Business model: Verification tooling free forever; paid hosted verification + SLA, per-attestation fees, platform licenses, enterprise private registries, on-chain commission (flat feeWei).

Ask shape: Milestone-gated MS-0 → MS-3 (see submission/10-funding-ask.md). Either side can stop at any milestone.

1. Core DAO — ecosystem grant / Ignition

  • Why Core: BTCFi is the most automated category on Core; CoreGuard proves automated execution conformed to authorization. Core stays the anchor and witness.
  • Already on Core: Mainnet registry + Proof Artifact #1.
  • Milestones requested: MS-0 production readiness + Testnet2 hardening; MS-1 Firewall v0.2 runtime enforcement for smart accounts.
  • Success metric: Named Core dApps running CoreGuard receipts on Testnet2, then Mainnet; number of anchored receipts.
  • Lane: Core Connect (integration) → Core Commit (milestones) → Ignition (acceleration).

2. Stellar Community Fund (SCF) — Build award

  • Category: Infrastructure & services / developer tooling.
  • Deliverables: (1) Soroban commitment-anchor contract on testnet; (2) Firewall policy check in front of Freighter-signed swaps; (3) DDE/1 dispute pack for remittance flows; (4) docs + example app.
  • Why Stellar: Real-world payments and anchors need verifiable records before settlement.
  • Honest status: soroban/ is DRY_RUN / PLAN_ONLY today; the award funds moving it to testnet.

3. Pi Network ecosystem

  • Product: Pi Commerce Shield (see Pi Hackathon kit).
  • Why Pi: Huge mobile-first community moving into commerce; buyers and merchants need shared proof.
  • Ask: Ecosystem listing, App Studio support, hackathon prize / ecosystem grant.

4. Flat6Labs (Cairo) — seed program

  • Egypt angle: Egyptian founder, building global security infrastructure from Cairo; patent filing prepared (submission/15-egypt-patent-file.md).
  • Market: Every AI-agent platform and custodian needs audit-grade execution proof; Web3 + AI agents are the fastest-growing automation surface.
  • Use of funds: Engineering for MS-0/MS-1, first two signed counterparty trials.

5. Falak Startups / ITIDA programs (Egypt)

  • Same core answers; emphasise IP (patent file), export-oriented B2B infrastructure and job creation for Egyptian engineers.

6. Techstars Web3 / Alliance DAO / Outlier Ventures Base Camp

  • Thesis fit: Agent economy + verifiable infrastructure.
  • Why now: Autonomous agents with wallets are shipping across every ecosystem; liability ("the agent did only what you authorized") has no technical answer yet.
  • Founder-market fit: Single founder has shipped the engine, the Mainnet proof and 38 packages; looking for a co-founder on the business side.

7. Questions every program asks — prepared answers

  • Competitors? Monitoring/alerting tools score risk heuristically; CoreGuard produces a deterministic, re-derivable proof. See submission/08-competitive-landscape.md.
  • Moat? Spec (CGEP/1), fail-closed anti-forgery, multi-ecosystem anchors, patent filing, and a public verifier others build on.
  • Biggest risk? Adoption: the hypothesis is confirmed only when a counterparty names a loss this directly reduces and a budget line. That is MS-0's first exit criterion.