
kin
The system of record for AI-written software. A persistent graph of entities, relationships, changes, and provenance, so humans and AI agents see…

The system of record for AI-written software. A persistent graph of entities, relationships, changes, and provenance, so humans and AI agents see…

A collection of useful resources for hacking WordPress and it's plugins and themes

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

A Common Weakness Enumeration (CWE) Node.js SDK compliant with MITRE / CAPEC

Curated weggli queries for static analysis of C/C++ code to identify dangerous functions, stack issues, and malloc overflow vulnerabilities.

This repo stores source code of the vulnerable program.

Writing and sharing one YARA rule daily for 100 days

WooCommerce plugin: safe formula-based product pricing, closing CVE-2026-4001's eval()-based RCE

Using code search to help fix/mitigate log4j CVE-2021-44228

List of mixed boolean-arithmetic resources

Curated repository of vulnerability research write-ups with assigned CVEs, detailing discovered weaknesses, impact, and remediation across various…

Redis 7.0.0 核心模块重构与漏洞修复交付(重构 sds/adlist/intset/listpack,相似度≤20%;修复 CVE-2023-25155/28856、CVE-2024-31449、CVE-2022-36021、CVE-2022-31144 等漏洞)

AngularJS 1.x -> Angular 18 migration guidance for GitHub Copilot. Source-of-truth repo for…

CVE-2026-25541 impact analysis for Fuel infrastructure (bytes crate integer overflow)

IOC scanner for agentic AI coding tools — detects Mini Shai-Hulud, Gemini CLI RCE, Cursor CVE-2026-26268, and DPRK PromptMink.

Detection scripts and guidance for CVE-2022-22965 (Spring4Shell) vulnerability in Spring Framework, including PowerShell and Bash scanners for…

Vulnearability Report of the New Jersey official site

Decompiled source code of zip4j library versions 1.3.2 (vulnerable) and 1.3.3 (fixed) for CVE-2018-1002202 path traversal analysis, part of the…