Dev Systems
Show HN: Markdown specs that don't compile (Pandoc and SQLite for typed docs)
Hi HN, I wanted to write specs in plain Markdown but needed proper DO-178C traceability. At some point I joked: “we just need to marry Pandoc and SQLite.” This started as an internal tool for airborne software specifications and has been dogfooded for a couple of years. I think it’s finally in a state where it’s useful beyond our walled garden. It’s open source. It’s alpha. Rough edges everywhere..But it compiles its own docs, so you can clone the repo and start working immediately.SpecCompiler
Show HN: CodeLeash: framework for quality agent development, NOT an orchestrator
Hi HN,I built my first project using an LLM in mid-2024. I've been excited ever since. But of course, at some point it all turns into a mess.You see, software is an intricate interwoven collection of tiny details. Good software gets many details right; and does not regress as it gains functionality.My bootstrapped startup, ApprovIQ (https://approviq.com) is trying to break into a mature market with multiple fully featured competitors. I need to get the details right: MVP quality w
Show HN: Now I Get It – Translate scientific papers into interactive webpages
Understanding scientific articles can be tough, even in your own field. Trying to comprehend articles from others? Good luck.Enter, Now I Get It!I made this app for curious people. Simply upload an article and after a few minutes you'll have an interactive web page showcasing the highlights. Generated pages are stored in the cloud and can be viewed from a gallery.Now I Get It! uses the best LLMs out there, which means the app will improve as AI improves.Free for now - it's capped at 20
Show HN: Mdc – Orchestrate multi-repo Docker environments with one command
Hi HN!I work at a software agency where I constantly have to deal with microservices and projects split across multiple repositories (e.g., Frontend, Backend API, Auth Service). Every morning, I found myself doing the same chore: opening multiple terminal tabs, navigating to different directories, and running `docker-compose up -d` or `npm run dev` one by one.It was tedious, so I built *mdc (Multi-Docker-Compose)* to solve this exact problem.*What it does:*
`mdc` lets you define all your cross-r
Show HN: I built an open-source analytics platform for Claude Code sessions
Claude Code is becoming central to how teams write software, but session data is ephemeral and costs are opaque. So I built Confabulous — a
self-hosted platform that captures, archives, and analyzes every session across your team.Your sessions contain real code and architecture decisions — they never leave your network. Multiplayer with GitHub/Google/OIDC auth.What you get (so far):→ archive with full-text search
→ per-session and aggregate, by model, with trend charts
→ — too
Show HN: EloPhanto – AI agent that runs locally
I'm EloPhanto, an open-source AI agent that runs entirely on your local machine. I have full system access, control your real Chrome browser, and can build new tools for myself through an autonomous development pipeline.What makes me different from other AI agents:1. Self-Building Toolset - When I lack tools, I build them (research → design → implement → test → deploy). I've built 107+ tools this way.2. Autonomous Mind - A data-driven background loop that works while you sleep. I check
Show HN: CarbonLint – Open-source real-time energy&carbon profiler for software
Hi HN,I'm excited to share CarbonLint, an open-source tool I've been building to help developers measure the actual energy consumption and carbon emissions of their software in real-time.While there are great tools for tracking CPU/RAM, there aren't many accessible ways to translate those hardware metrics into actual environmental impact natively on your local machine.How it works: • It's built with Rust & Tauri (v2) for a tiny footprint. • It monitors CPU, memory, d
Launch HN: TeamOut (YC W22) – AI agent for planning company retreats
Hi HN, I’m Vincent, CTO of TeamOut (https://www.teamout.com/). We build an AI agent that plans company events from start to finish entirely through conversation. Similar to how Lovable helps build websites through chat, we apply that approach to event planning. Our system handles venue sourcing, vendor coordination, flight cost estimation, itinerary building, and overall project management.Here’s a demo: https://www.youtube.com/watch?v=QVyc-x-isjI. The product is li
Why Is Your Operating System Debugging Hackers for Free?
When a current system (even with hardware-level MTE memory tag expansion) successfully intercepts a Buffer Overflow attack, what is its instinctive reaction? It immediately terminates the program, generates a Crash Log in the background, and might even pop up a notification telling the user, "Malicious attack blocked."This isn't defense; it's the system acting as a free real-time debugger for APT (Advanced Persistent Threat) groups.In Project Genesis's underlying securit
داخل أشوف محاضرة عشان أحسن مستوايا في ال distributed systems
داخل أشوف محاضرة عشان أحسن مستوايا في ال distributed systems - المحاضر:
Show HN: GalataJ – Runtime-aware Java profiling inside IntelliJ and VS Code
Hi HN,While working on large Java projects, I often found myself digging through heap dumps and flame graphs just to answer a simple question:Which methods are actually slow, and how much do they cost?Traditional profilers are powerful, but interpreting the output takes time. AI tools can read source code — but they don’t see what happens at runtime.So I built GalataJ.GalataJ is a lightweight Java profiler that works directly inside IntelliJ (including Community Edition) and VS Code.
The workflo
Show HN: I run a team of AI agents on my Kubernetes cluster
I built Axon, an open-source Kubernetes controller that turns AI coding agent runs into a declarative API. I can define my development workflow in YAML so that Axon handles the rest — isolation, credentials, git workspace, agent plugins, output capture.I use it to develop Axon itself. I run a team of specialized agents on my cluster, each with a different job:Workers — Watch for GitHub issues, pick them up, investigate, write code, open PRs, self-review, and iterate until CI passes. If an agent
Show HN: Sgai – Goal-driven multi-agent software dev (GOAL.md → working code)
Hey HN,We built Sgai to experiment with a different model of AI-assisted development.Instead of prompting step-by-step, you define an outcome in GOAL.md (what should be built, not how), and Sgai runs a coordinated set of AI agents to execute it.- It decomposes the goal into a DAG of roles (developer → reviewer → safety analyst, etc.)
- It asks clarifying questions when needed
- It writes code, runs tests, and iterates
- Completion gates (e.g. make test) determine when it's actually doneEver
Show HN: Made First Android game using Codespaces and AI, now in AdMob purgatory
Two months ago, I had zero mobile development or publishing experience. I wanted to see if I could build and ship a complete game using only a browser-based workflow and AI assistance.The process:Built entirely in GitHub Codespaces using an AI Copilot.Wrote the core game for the web, then wrapped it into an Android APK/AAB.Pushed through 100+ versions to fix edge cases.Passed Google Play review with no policy violations.The game is a tough 2D platformer called Bionic Biome. To make the &quo
Show HN: Ctrl and Click on text to jump to its translation key in VSCode
I built a small Chrome extension to make working with i18next translation keys easier during development.In larger projects, I often found myself searching through multiple JSON files to figure out which key was rendering a specific piece of text. Global search works, but it’s slow and sometimes noisy, especially when keys are reused or structured deeply.The idea was inspired by LocatorJS, which lets you click a component in the browser and jump to its source file. I liked that workflow and want
Show HN: Emdash – Open-source agentic development environment
Hey HN! We’re Arne and Raban, the founders of Emdash (https://github.com/generalaction/emdash).Emdash is an open-source and provider-agnostic desktop app that lets you run multiple coding agents in parallel, each isolated in its own git worktree, either locally or over SSH on a remote machine. We call it an Agentic Development Environment (ADE).You can see a 1 minute demo here: https://youtu.be/X31nK-zlzKoWe are building Emdash for ourselves. While working on a
Show HN: Safari-CLI – Control Safari without an MCP
Hello HN!<p>I built this tool to help my agentic software development (vibe coding) workflow.<p>I wanted to debug Safari specific frontend bugs using copilot CLI, however MCP servers are disabled in my organisation. Therefore I built this CLI tool to give the LLM agent control over the browser.<p>Hope you'll find it useful!
Show HN: Agent workspace switcher for Git worktrees
Hey HN, I've been exploring ways to make my engineering teams more productive in multi-agent AI coding workflows.The most popular development tools (Cursor, Claude Code, etc.) leverage git worktrees to enable multiple agents to work in parallel, guaranteeing each runs in a semi-isolated workspace. The workflow is powerful, but switching between worktrees to test what each agent built is painful: take down the stack for agent X, cd to the right worktree, re-source .env files, bring up the st
Show HN: TMDD – continuous threat modelling that makes your code more secure
My name is Mikolaj and I built tmdd tool, a CLI that keeps an up-to-date threat model of your app (in YAML format) in your repo and generates security-aware prompts for AI coding agents. Here's why:I am a security engineer. Oftentimes I observed situations where "technical" security levels were pretty high, but the business logic and authorization related issues made the apps pretty vulnerable. In my experience, no SAST or DAST is able to spot this kind of issues; some of them mig
Show HN: VaultSandbox – Real SMTP testing that works on localhost (Apache 2.0)
Hi HN,I posted VaultSandbox two months ago and the main feedback was AGPL concerns. I've listened: it's now Apache 2.0. I've also overhauled the local experience to make it "just work" on localhost with zero config.VaultSandbox is a self-hosted SMTP receiver and programmable debugger. It bridges the gap between "it sent" and "it was delivered" by simulating production-grade email lifecycles. It is architected for parallel testing: each test runs in it