[AI-native code security]

Gecko Security and Aevral, at a glance

Gecko analyzes code, logic, and infrastructure for exploitable vulnerabilities, with threat modelling, natural-language rules, and a pull-request review bot with one-click autofix, per Gecko's site.

Gecko builds a semantic graph of the application and scans across repositories and microservices for issues that surface between trust boundaries, with a pull-request review bot with one-click autofix, per Gecko's site. Aevral is built for a reading of its own: does this diff widen who has access to what. Both read pull requests for security: Gecko with its bot, and Aevral's PR review, live and opt-in, on the same pull request.

Gecko Security focuses on

  • Scanning code, logic, and infrastructure for exploitable vulnerabilities with a semantic graph.
  • Scanning across repositories and microservices for cross-boundary issues, with threat modelling and natural-language rules, per Gecko's site.
  • Reviewing pull requests with a bot and one-click autofix.

Aevral adds alongside

  • The access reading of the pull request: dropped ownership checks, caller-controlled object references, gates that went from a role to a login.
  • With the opt-in add-on: up to two findings per review, grounded on the added lines, posted as a Check plus inline comments. It never blocks a merge.
  • A finding as a lead with evidence: the author decides with full information.

Run them together

Let Gecko run its semantic scans and PR bot; let Aevral add the authorization and business-logic reading of the same pull requests, with the opt-in add-on.

Gecko Security and Aevral, in depth; Aevral PR security review.

Also alongside


Scan your whole repo for access bugs.

One GitHub App. A report with evidence. A prompt for the agent you already use.