jchultarsky/mirador
An opinionated personal dashboard for your terminal — world clocks, calendar and agenda, weather, tasks, notes, markets and live system metrics in a tab you leave open all day. Rust + ratatui.
02 / DEVELOPER TOOLS
Find the tools that make writing software feel good.
← All topicsAn opinionated personal dashboard for your terminal — world clocks, calendar and agenda, weather, tasks, notes, markets and live system metrics in a tab you leave open all day. Rust + ratatui.
A curated guide & directory for open-source AI devtools, local LLMs, autonomous agents, and SaaS alternatives. Built for modern AI developers.
A curated list of practical Codex skills for automating workflows across the Codex CLI and API.
A type-safe, formally verifiable HDL compiler in Lean 4. Inspired by Clash, built for high-assurance hardware synthesis.
Your AI talks less, builds less, says more. Like a senior dev who bills by the syllable.
ADHD — a skill for coding agents. Tree-of-thought with pruning, built on the Claude & Codex Agent SDK. Fans out parallel divergent thoughts under different cognitive frames, scores, prunes traps, deepens the survivors. The no-brainer skill for creative and interdisciplinary work.
Sandbox wrapper for AI coding agents. Runs GitHub Copilot CLI, OpenCode, Google Gemini CLI, Pi, or a plain shell inside a kernel-level sandbox so the agent can work on your project but cannot access your secrets.
A lightning fast shell linter/formatter/LSP server
Desktop workbench for Grok Build CLI — sessions, projects, media, automations (Tauri 2 · unofficial)
Undo what the last shell command did to the filesystem
Multi-agents collaboration plugin for Claude Code - orchestrate multiple AI agents (Codex CLI, Gemini CLI, etc.) for diverse perspectives
基于 Claude Agent SDK 构建的自托管 Agent 工作台,可以复用 Claude、ChatGPT 订阅额度。集成文件、预览、AI 对话和真实终端。多工作目录、主流模型一键接入、HTML/Markdown 即写即渲染,以及桌面端、移动端多端内容同步。
TypeScript-to-Native Compiler.
Blazing fast TUI download manager built in Go for power users
A lightweight, cross-platform developer scratchpad for working with JSON, CSV, Markdown, logs, code snippets, and large text files. Built with Rust, Tauri, and Svelte 5.
Web terminal multiplexer for AI agents.
Rust port of @masterking32's MasterHttpRelayVPN — all credit to @masterking32 for the original idea and Python implementation. Free DPI bypass via a Google Apps Script relay with TLS SNI concealment. CLI + cross-platform desktop UI, HTTP + SOCKS5 proxy, no runtime deps.
Open the project to explore the idea and the code.
Neon Vision Editor - A lightweight, modern code & text editor for macOS built for speed, readability, and automatic syntax highlighting — minimal by design, with fast file access and a focused editing experience.
fresh directories for every vibe.
Jacquard is a small programming language designed for a regime in which most code is written by machine-learning models and reviewed by people.
Karpathy LLM based claude harness for PenetrationTesting / Bugbounty using obsidian
Docs for humans and agents, built on Astro.
Unified CLI for running AI coding agents in isolated containers. Includes built-in local metrics collection, HTTP traffic tracking, and an analytics dashboard to track agent actions.