Stars
CLI that maps a spec to the code implementing it, and flags which links break when either side is edited
Build and query a graph database representation of source code
Fast and lightweight x86/x86-64 disassembler and code generation library
🪨 why use many token when few token do trick — Claude Code skill that cuts 65% of tokens by talking like caveman
A version of ECFS (Extended core file snapshot) technology that was revamped for the DARPA EBOSS program-- ELF core-files with rich ABI enhancements for automated vulnerability research.
Talk to your Mac, query your docs, no cloud required. On-device voice AI + RAG
Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows
YASA is an open-source static program analysis project. Its core innovation lies in a unified intermediate representation called UAST, designed to support multiple programming languages. Built on …
Tagref helps you manage cross-references in your code.
A GitHub Action invoking the Gemini CLI.
An open-source AI agent that brings the power of Gemini directly into your terminal.
⚡ preexec and precmd functions for Bash just like Zsh.
Reliably exercise the upper bound of your cabal dependencies
The Gram Drawing Language, a tool for making things and making sense.