WholeStack
Bring an existing app
Reading a repository you already own is a different pipeline from compiling one from intent. It has to recover the contract from code nobody wrote against a contract, then decide what a proof over that even means. That work is not connected yet, so there is nothing here that would give you a real answer.
Repository import — not connected
Connecting a repository needs a GitHub App with repository access, which is separate from the GitHub sign-in this account already uses. Signing in with GitHub grants identity, not code.
What does work today
Describe what the business does and the factory compiles it, boots it on an isolated schema, drives a customer journey against it, and seals a verdict you can read.