🎨 Diagram as Code for prototyping cloud system architectures

Chiasmus is an MCP server that gives language models access to formal verification

Fuzzy-search Claude Code conversation history

Reorganize tables in PostgreSQL databases with minimal locks

A pre-commit hook for zizmor.

Static checker for GitHub Actions workflow files

Pre-commit hooks for Golang with support for monorepos, the ability to pass arguments and environment variables to all hooks, and the ability to invoke custom go tools.

⚡ Battery charge threshold manager for Linux laptops

codespelunker - CLI code search tool that understands code structure and ranks results by relevance. No indexing required with CLI, TUI, MCP and HTTP support.

Collect recent git commits for standup notes

Local Area Network discovery tool with an interactive Terminal User Interface (TUI) written in Go. Discover, explore, and understand your LAN in an intuitive way. Knock Knock.. who's there? 🚪

A Markdown formatter that enforces Hong Minhee's Markdown style conventions

scroll Emacs like lightning

Fast grep-like IP/CIDR search in rust

⚡ A fast Git hook manager written in Rust, designed as a drop-in alternative to pre-commit, reimagined.

Source code spell checker

A command-line tool to prevent committing secret keys into your source code

Why is this running?

Emacs headerline indication of where you are in a large project

Resume builder for academics and engineers

Fast, comprehensive DNS performance testing with DNSSEC validation, DoH/DoT support, and enterprise features

Remove all the resources from an AWS account

Static analysis for GitHub Actions

A monitor of resources

Manage many git repos with sanity 从容管理多个git库

encrypted/remote secret manager

Official MCP Servers for AWS

Yet another cross-platform graphical process/system monitor.

A human-friendly and fast alternative to cut (and sometimes awk)

A beautiful and useful low-latency prompt for your shell, written in go