论文与研究

cveproject/cvelistv5

CVE JSON 5 格式的官方 CVE 列表缓存

yosyshq/nextpnr

nextpnr 便携式 FPGA 布局布线工具

b2r2-org/b2r2

B2R2 是一个完全用 F# 编写的托管二进制分析框架。它提供了丰富的算法、函数和工具，用于逆向工程、程序分析和二进制级检查。

screenpipe/screenpipe

YC (S26) | 开放计算机历史 | 在本地持续录制你的屏幕，并为你的智能体（Claude、Codex、Openclaw、Hermes、Runner...）提供上下文

oritwoen/boha

Crypto bounties, puzzles and challenges data library

munshi007/aura-state

Python framework for building LLM workflows as state machines with formal verification via Z3 theorem proving, CTL model checking, and conformal…

google/security-research

该项目托管安全公告及其附带的概念验证（PoC），这些内容与 Google 开展的研究相关，且影响非 Google 自有代码。

securewithumer/cve-2026-pocs

A community-curated, verified collection of Proof-of-Concept exploits for CVEs disclosed in 2026.

joseluispino/hardstop

“Hard Stop：面向失控智能体执行的核级抢占与遏制”的参考实现。带外认知安灯拉绳、亚毫秒级（<0.154 ms）POSIX 进程组抢占，以及抗撕裂读的 WAL 状态提取。

lightless-labs/third-thoughts

用于通过多学科语料库分析 AI 代理行为模式的研究工具包。解析会话日志，执行 23 种分析技术，并生成由 LLM 驱动的叙事报告。

essexrich/threatactors-ttps

该仓库旨在共享威胁行为者使用的战术、技术和程序相关信息。最初针对勒索软件团伙，随后扩展到其他类型的威胁。

huhusmang/awesome-llms-for-vulnerability-detection

社区最全面、持续更新的关于大语言模型用于软件漏洞检测的研究索引——涵盖函数级、仓库级、智能体及智能合约检测的论文，以及数据集、基准测试和综述。

ablation-tool/ablation

逆向工程框架，具备反汇编、反编译、污点分析、版本差异比对和语义搜索功能，并支持LLM驱动的自主二进制与固件分析。

asgeirtj/system_prompts_leaks

从主要AI聊天机器人（包括Claude、ChatGPT、Gemini、Grok和Copilot）中提取的系统提示的精选集合。随着新模型发布定期更新。

owasp/german-owasp-day

德国OWASP Day会议网站及演示文稿存档

albert-y1n/pismith

PISmith：基于强化学习的红队测试，用于提示注入防御