Starred repositories
Openspec UI is a VS Code extension for browsing, opening, and understanding Openspec changes without leaving the editor.
High-performance code intelligence MCP server. Indexes codebases into a persistent knowledge graph — average repo in milliseconds. 158 languages, sub-ms queries, 99% fewer tokens. Single static bin…
A typed, hash-verifiable ledger of who-owns-what, sitting underneath a codebase so that many agents (or people) can work in parallel without trampling each other.
A collection of Yazi's Plugins, flavours and more resources.
Displays random Google Fonts, allows filtering by category and storing favorites
Formal verification for OpenSpec plans. Parses markdown into ASTs, translates SHALL requirements to LTL, and runs SPIN to prove or disprove correctness — no BFS fallback, real model checking.
Terraform & OpenTofu provider for uploading raw disk images to Hetzner Cloud as reusable snapshots
Keyboard-driven TUI for navigating OpenSpec project artifacts — proposals, designs, specs, and tasks.
Hetzner Cloud Images with NixOS and DetSys nix
Uploads Talos disk images into Hetzner Cloud
ZITADEL - Identity infrastructure, simplified for you.
Library-first async Nix evaluation engine for fast cached eval distribution
Run GLM-5.2 (744B MoE) on a 25GB-RAM consumer machine — pure C, zero deps, experts streamed from disk. Tiny engine, immense model. 🐦
Download your Spotify playlists and songs along with album art and metadata (from YouTube if a match is found).
Open standard for software intent in the AI agent era.
Agentic coding within a framework of policies and controls that keeps projects on the rails. Watches n repos for specs, spawns code agents to implement. Code review, security audits, and spec compl…
A keyboard-driven terminal UI client for Microsoft Teams, written in Go.
freno: cooperative, highly available throttler service
Multi-User AI Sandboxing, Collaboration and Coding Platform
Global DNS propagation checker TUI — watch a DNS record propagate across 34 public resolvers worldwide, on a world map in your terminal
EsDraw — a draw.io / diagrams.net plugin that turns any cell into a 2.5D isometric shape with one right-click, faithfully matching icograms Designer.
Open-source AI browser agent for Chrome and Firefox (monorepo) 🧠
Search the coding agent history already on your machine
agent multiplexer that lives in your terminal.
Model router for agentic systems. Routes every prompt to the right model in <50ms. Cut costs 40-70% with just an endpoint change.
Run standard NixOS on your mobile devices!