Skip to content
View stillnotadam's full-sized avatar
6 followers · 0 following

Achievements

Achievement: Galaxy BrainAchievement: YOLOAchievement: Pull SharkAchievement: Quickdraw

Achievements

Achievement: Galaxy BrainAchievement: YOLOAchievement: Pull SharkAchievement: Quickdraw

Block or report stillnotadam

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. 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

Pinned Loading

  1. Husk Husk Public

    Static security scanner for AI agent skills. Built against the bypass techniques that beat Snyk, Cisco & Vercel scanners. Offline, deterministic, zero dependencies, CI-ready. Benchmarked on 11, 225…

    Python 1

  2. Reach Reach Public

    Proves what cloud credentials, and the AI agents holding them, can reach. Z3-backed AWS IAM reasoning plus lethal-trifecta analysis for AI agents.

    Python 1

  3. Quash Quash Public

    Proof-Carrying Triage: refuting AI-generated vulnerability reports with independently-checkable SMT certificates (paper artifact)

    HTML

  4. Artifice Artifice Public

    Code, data, and per-call logs for 'Does the Decompiler Lie to the Model?' — artifact anchoring in LLM-assisted binary vulnerability triage (Melhem). Paper: https://doi.org/10.5281/zenodo.23716090

    C