Lean 4 programming language and theorem prover

Public repository for Agent Skills

ggml speech-to-text inference for 16+ model families

Fritzing desktop application

Like the shell history command but for your Claude Code sessions.

Claude skill to run code audits

cut Claude Code token usage by rendering text context as images

Digger is an open source IaC orchestration tool. Digger allows you to run IaC in your existing CI pipeline ⚡️

Web-based tool to facilitate OpenTelemetry collector configuration editing and verification

A free, open source, and extensible speech-to-text application that works completely offline.

Code signing and transparency for containers and binaries

create comment on pull request, if exists update that comment.

A GitHub Action that ensures that your PR title matches the Conventional Commits spec

The conventional commits specification

A Node.js style checker and lint tool for Markdown/CommonMark files.

Fast linters runner for Go

Compress tool outputs, logs, files, and RAG chunks before they reach the LLM. 20% fewer tokens for coding agents, 60-95% fewer tokens for JSON, same answers. Library, proxy, MCP server.

Load secrets from 1Password into your GitHub Actions jobs

SOPS integration for IntelliJ based IDEs/Android Studio.

Local-first code intelligence graph for MCP and CLI. Builds a persistent map of your codebase so AI coding tools read only what matters, with benchmarked context reductions on reviews and large-rep…

The toolkit to pack, ship, store, and deliver container content

Tower defense game that teaches cloud architecture. Build infrastructure, survive traffic, learn scaling.

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

Graphs that teach > graphs that impress. Turn any code into an interactive knowledge graph you can explore, search, and ask questions about. Works with Claude Code, Codex, Cursor, Copilot, Gemini C…

Fast and reliable background jobs in Go

Human: AI-powered 3D Face Detection & Rotation Tracking, Face Description & Recognition, Body Pose Tracking, 3D Hand & Finger Tracking, Iris Analysis, Age & Gender & Emotion Prediction, Gaze Tracki…

Create and control 3D shapes using hand gestures in real-time. Built with mediapipe computer vision and threejs

GitHub Action for creating a GitHub App Installation Access Token

🪨 why use many token when few token do trick — Claude Code skill that cuts 65% of tokens by talking like caveman