Intervexa
INTERVEXA / faq

Questions developers actually ask.

Scope, evidence, costs and data handling.

Can I use Gmail or Outlook?

Yes. Independent developers, students, maintainers and teams use the same personal account flow. No company domain is required.

Is a hypothesis a verified bug?

No. Static signals identify potential interactions. Reproduction requires baseline and individual states to pass, followed by the same combined assertion failure twice.

Do I need an AI key?

No for indexing, lexical search and deterministic PR analysis. Optional embeddings, source explanations and test drafts use your provider key only after consent.

Is AI free?

Provider usage is billed by your selected provider. Infrastructure may have separate costs. Intervexa does not include unlimited free inference or silently switch providers.

Can it run every repository?

No. The current runner supports public repositories and Python stdlib unittest only. Private execution, dependencies and other frameworks need additional infrastructure.

Why can’t I connect GitHub yet?

A deployment owner must configure a GitHub App. Social GitHub login alone does not grant repository access.

Can I delete my data?

Account settings provide a bounded JSON export and confirmed account/workspace deletion for a personal workspace. Disconnecting a repository removes its local indexed and analysis data; GitHub grants must be revoked separately.

Create a personal workspace →Contact & feedback