Skip to content
View Nexory's full-sized avatar
🏠
Working from home
🏠
Working from home

Block or report Nexory

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Nexory/README.md

Hi, I'm Nexory 👋

Security Research · SDK Code-Correctness · Open Source Audit

I focus on finding concrete, reproducible bugs in open-source SDKs and developer infrastructure. The work runs through an AI-orchestrated workflow — deep code reading, adversarial verification, and structured disclosure — gated by my approval at decision points. Methodology is detailed in the AI Disclosure section below.

Active in ecosystems across DeFi, AI agents, Web3 bridges, fintech SDKs, and developer tooling. The preference is for execution over speculation, structured disclosure over hype, and durable signal over volume.


About Me

My work spans security research, SDK auditing, and open-source contribution across multiple ecosystems.

Focus areas:

  • SDK code-correctness audits (TypeScript, Python, Rust, Solidity)
  • Async race conditions and lifecycle bugs
  • Type-binding drift between SDK declarations and runtime behavior
  • OpenAPI generator artifacts and schema validation gaps
  • Decimal/precision handling in financial systems
  • Responsible disclosure via HackerOne and GitHub Security Advisories

The workflow runs long structured audit sweeps with adversarial verification stages — primitive check against repo code, duplicate search, PoC execution with verbatim output capture, and scrub for severity inflation or meta-instruction leaks. Findings that fail any gate are dropped or deferred. Approval gates are mine; drafts and verification are AI-orchestrated.


Tech Stack

Languages

TypeScript Python Rust Solidity Go Kotlin

Security & Disclosure

HackerOne GHSA CVSS%204.0 CWE Responsible%20Disclosure

Audit Domains

DeFi AI%20Agents Web3%20Bridges Cross%E2%80%91Chain Fintech%20SDK Developer%20Tooling

Methodology

Adversarial%20Verification Multi%E2%80%91Repo%20Pattern%20Hunt Code%20Reading Static%20Analysis


Focus Areas

  • SDK code-correctness in TypeScript / Python / Rust / Solidity
  • Async race conditions and lifecycle bugs
  • Type-binding drift between SDK declarations and runtime behavior
  • OpenAPI generator artifacts and schema validation gaps
  • Decimal/precision handling in financial systems
  • Open-redirect, SSRF, and timing-oracle patterns
  • Auth-callback routing failures and token-lifecycle violations
  • GitHub Security Advisory (GHSA) coordinated disclosure
  • HackerOne report drafting (CVSS 4.0, CWE classification)

Selected Contribution Focus

→ SDK Code-Correctness Audits

I audit production-runtime SDKs for concrete code-correctness bugs that affect SDK consumers and downstream applications. The goal is always a 1-3 line fix and a passing test, not a theoretical hazard.

Merged PRs (commits authored by me):

Issues I filed that maintainers fixed (commits authored by maintainers):

Open PRs awaiting review:

Active issue sprints:

  • Polymarket SDK ecosystem (py-sdk, ts-sdk, clob-client-v2)
  • Across-protocol (toolkit, relayer, json-constants, sdk)
  • Cloudflare OSS (workers-sdk, agents, sandbox-sdk) — 6 GHSAs in triage

→ Security Research & Disclosure

I file responsibly via the channel that fits the finding class — HackerOne for in-scope programs, GitHub Security Advisory for direct-to-maintainer coordination, public GitHub Issues for pure code-quality bugs.

Disclosure principles:

  • Verify every claim against the actual repo code before submission (workflow stage 1)
  • Calibrate severity to the actual impact path (CVSS 4.0 with reasoned vector); downgrade MED→LOW when the bug class is default-config hardening or documented by-design framing
  • Submit one finding per report, no padding
  • Include suggested fix and concrete reproduction steps

→ Multi-Repo Pattern Hunts

When a bug class appears once, it usually appears across the ecosystem. The workflow systematically hunts the same pattern across related repositories to surface cross-project occurrences and structural causes.

Recent pattern hunts:

  • Missing AbortSignal.timeout() on critical-path fetches (vercel/turborepo, vercel/workflow, vercel/flags)
  • Map/Set leak on consumer unsubscribe (trpc, drizzle-orm × 2, open-webui)
  • Type signature drift on optional fields (Plaid React Native, hono jwt, drizzle PgNumeric)

→ Adversarial Verification

Every finding passes through workflow verification stages before submission: primitive verification against actual repo code, duplicate search in the target repo, PoC execution with verbatim output capture, and adversarial scrub for severity inflation or meta-instruction leaks.

The pipeline prioritizes signal quality over raw output. Findings that fail any gate are dropped or deferred. What a project receives is filtered through this verification, not unreviewed AI output.


Current Direction

Right now, I'm especially focused on:

  • Coordinated GHSA disclosure on cross-chain bridge SDKs
  • Cloudflare OSS production-runtime audit pass
  • Plaid React Native SDK lifecycle and type-binding review
  • Building a multi-program signal-pool strategy across HackerOne, GHSA, and direct GitHub

Streak Stats


Contribution Graph


Profile Views


AI Disclosure

I use AI-assisted tooling (Claude Code, GPT-4/5, OpenAI Codex when available) as the primary engine across my workflow:

  • At scale: initial code reading, dependency mapping, pattern hunting across large repos
  • At draft time: issue bodies, fix recommendations, PoC reproducers, test plans
  • At verify time: adversarial review, dupe checks, primitive verification against actual repo code
  • At cleanup time: meta-instruction scrubbing, severity recalibration, RFC compliance checks
  • At push time: workflow-orchestrated gh CLI filings and signed commits to PR branches

What this means in practice:

  • Issue bodies, PR commits, severity calibration, and final wording are workflow-authored. My role is approval gates ("file this batch", "drop this", "concede to this maintainer") rather than line-by-line authorship.
  • Multiple verification stages run before any submission: primitive check against the actual repo code, dupe search in target repo, PoC execution with verbatim output capture, adversarial scrub for meta-instruction leaks and severity inflation. Findings that fail any gate are dropped or deferred.
  • "Tested locally" in a comment means the actual app or library was run against the actual scenario. Synthetic reproducers are explicitly framed as such ("verified via standalone reproducer", "code-walked", "structural review").
  • Commits are signed with my SSH key (ED25519 SHA256:CWX60WPoOQcianliIELliGtEftFs9vEnkLmywphAUP8). Content is workflow-authored under my approval; signing attests to my responsibility for it being pushed, not to manual line-by-line authorship.
  • I will not dispute Informative or wontfix closes — when a maintainer's reading is sound, I concede.
  • I will not re-engage after a maintainer warning — silence is the right response.

If a maintainer prefers no AI-assisted disclosures on their project, please say so on any of my reports and I will respect it. I would rather lose a finding than misrepresent how it was produced.


Reach Out

  • HackerOne: hackerone.com/nexory
  • Email: open to coordinated disclosure on private security advisories

If you maintain an SDK and want a focused audit pass, reach out — the workflow runs in structured sprints with confirmation gates and a documented opt-out for AI-assisted reports.


Support My Work

If something I've reported helped your project or saved your users from a bug class, consider sponsoring future research:

Chain Address
ETH / EVM (Mainnet, Base, Arbitrum, Optimism, Polygon) 0xc70d9CAbe1d11Edb126E6be7793D1E09cf5C7F89
Solana FqDxFXK21qsFamTrFgDAqYXd3L5MNshArf4RD2pbpTt
Bitcoin (native SegWit) bc1qeepx83cenkjv29q0gvs8g74u7ujfexcgfsn9wc

Every contribution funds more research time spent reading code and filing high-signal disclosures.


Additional Information

  • Location: Europe
  • Background: Security research, SDK audit, responsible disclosure
  • Work Style: AI-orchestrated workflows with my approval gates at decision points; long structured sweeps; adversarial verification stages
  • Interests: SDK code-correctness, cross-chain bridges, AI agent security, fintech integrity
  • Approach: Read code thoroughly via workflow, verify via multi-stage gates, disclose responsibly via the appropriate channel
  • Mindset: Signal quality over filing volume; durable maintainer relationships over individual commit credit; honest framing over marketing rhetoric

Pinned Loading

  1. py-clob-client-v2 py-clob-client-v2 Public

    Forked from Polymarket/py-clob-client-v2

    Python

  2. Superseed_Rise-of-Superseed_FullRelease Superseed_Rise-of-Superseed_FullRelease Public

    Python

  3. Polymarket/py-clob-client-v2 Polymarket/py-clob-client-v2 Public

    Python 139 43

  4. Polymarket/py-sdk Polymarket/py-sdk Public

    Unified Python SDK for Polymarket DeFi

    Python 14 6