Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows

Polynomial Matrix Library. Additions to NTL and FLINT libraries, with a focus on univariate polynomial matrices, structured matrices, and their applications.

Solving linear systems over GF(2) by manipulating bitvectors

Transformers for Mathematics Tutorial | Simons/SLMath Workshop on AI for Mathematics 2025

A Fast C Library for Elliptic Curve Over Rationals

High-performance C99 library for computing the Fast Walsh-Hadamard Transform (FWHT)

The General Sieve Kernel

LaTeX package and annotated examples for annotating equations using TikZ.

Concise implementation of class group computations for quadratic fields

Context7 Platform -- Up-to-date code documentation for LLMs and AI code editors

Docker container for running Claude Code with full permissions and Twilio notifications

Programs in Magma used to determine the Q-gonality of modular curves X_0(N)

A curated list of resources about post-quantum cryptography.

Rust library for isogeny-based cryptography

A generic and efficient SIMD implementation of MSB Radix Sort with separate key and payload datastreams that supports arbitrary key and payload data types written in C++ accompanied by a bachelor's…

A Cryptographic Library for the Automated Analysis of Symmetric Primitives

Library for Polynomial System Solving through Algebraic Methods

Semantic strings based on tree-sitter

Fastest CRC32 for x86, Intel and AMD, + comprehensive derivation and discussion of various approaches

SMT based attacks on non cryptographic PRNGs

Compress sets of integers efficiently

GNU Linear Programming Kit for Javascript

C++ truth table library