SnailSploit / Claude-Red

claude-red is a curated library of offensive security skills designed for the Claude skills system. Each skill is a structured SKILL.md file that primes Claude with expert-level methodology for a specific attack surface — from SQLi to shellcode, EDR evasion to exploit development.

kimwalisch / primesieve

🚀 Fast prime number generator

openai / LongGapsBetweenPrimes

A Lean formalization of a bound concerning long gaps between primes

PlummersSoftwareLLC / Primes

Prime number projects in 100+ programming languages, to compare their speed - and their programmer's cleverness

AxiomMath / PrimeGapsLib

Lean formalization of bounded gaps between primes