A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.

Static Analyzer for Solidity and Vyper

🦡 codebadger is a containerized Model Context Protocol (MCP) server that gives AI agents and LLMs deep, queryable access to a codebase's structure and data flow through Joern Code Property Graphs (…

Source code for LLMxCPG paper

Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc

⛅️ Home to Wrangler, the CLI for Cloudflare Workers®

A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.

Leveraged strategies for on-chain funds

Multiplayer, self-hosted, secure agents.

Polymarket CTF Exchange v2

CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust binary, zero dependencies

Review-first terminal diff viewer for agentic coders

🧱 easy and fast microVMs for running untrusted workloads

The agent that grows with you

The leading workflow orchestration platform. Run stateful step functions and AI workflows on serverless, servers, or the edge.

The Inescapable Auditor -- iterative deep-logic security audit agent for Claude Code

Agent harness to make your slop code well-engineered and beautiful.

A modular framework for building EVM consensus clients ⛵️✨

Simple Rust connector to Binance API

Fully automatic censorship removal for language models

AI Orchestration Framework

Nightshift uses your leftover Claude / Codex budget to surprise you with useful PRs. Love them or leave them.

🌈 React for interactive command-line apps

Persistent file-based planning for AI coding agents and long-running agentic tasks. Crash-proof markdown plans that survive context loss and /clear, plus a deterministic completion gate and multi-a…

Kimi Code CLI is your next CLI agent.

mini cli search engine for your docs, knowledge bases, meeting notes, whatever. Tracking current sota approaches while being all local

Language-agnostic AI auditor that autonomously builds and refines adaptive knowledge graphs for deep, iterative code reasoning.

A cognitive playbook for experienced smart contract auditors. Structures audit thinking, exploration, validation, and reporting. Not an auto-auditor.

A Binary Ninja plugin containing an MCP server that enables seamless integration with your favorite LLM/MCP client.