frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Show HN: MC/DC coverage so coding agents could work overnight

https://supercov.com
2•Nedomas•3h ago
Hello HN!

Code just became cheaper with AI but review and verification is as hard as it was. Tests are great, but current AI slop needs much more exhaustive testing.

I built a test coverage tool for coding agents so they could work in a loop and keep writing tests where it makes sense.

Here’s Supercov:

- Wraps any JavaScript/TypeScript/Rust test suite (npx supercov -- npm test)

- Provides deepest MC/DC code coverage with max perf (written in Rust)

- Free and open source

Easiest way is just to give your agent a prompt: Measure coverage with npx supercov and write one test.

Goal is building the deepest code coverage suite for coding agents thats works automagically in any language and any test suite. I feel code verification is the missing piece for software factories to actually work.

I’d particularly be interested in feedback on compatibility and if your agent ran into any problems.

Contributions and bug reports are very welcome: https://github.com/supercorp-ai/supercov

Show HN: FontWizard, Change Windows system font everywhere in UI and apps

https://github.com/karnyadavdev/FontWizard
3•karnyadav•30m ago•0 comments

Show HN: Convert Anything to Markdown

https://anyto.md/
4•vlucas•43m ago•0 comments

Show HN: Weedout – Safari extension that hides YouTube AI-labeled videos

https://masteranza.github.io/weedout/
168•masteranza•17h ago•73 comments

Show HN: Flawd is mutation testing for the AI era

https://fixture.dev/flawd
3•fohara•56m ago•4 comments

Show HN: Edgy – Ambient edge lighting for macOS

https://getedgy.app
3•renatoworks•59m ago•0 comments

Show HN: ZSvirt – A lightweight, scalable open source virtualization platform

https://github.com/ZSvirt/zsvirt
12•czhou25•1h ago•0 comments

Show HN: asciiQuake

https://asciiquake.wtf/
3•apresmoi•1h ago•0 comments

Show HN: Freefund – Reduce no shows at free/RSVP events

https://www.ticketfairy.com/guides/reduce-no-shows-at-free-rsvp-events
4•riteshpatel•1h ago•0 comments

Show HN: Heides,deterministic code harness giving AI agents senses and judgment

https://github.com/AbduljabbarBXR/heides
2•TawResearch•1h ago•0 comments

Show HN: Open protocol for AI agents to discover, negotiate, and pay each other

https://github.com/bizswarm44-coder/aether-protocol
2•intentswarm•1h ago•0 comments

Show HN: Kafma – a desktop Kafka GUI client for debugging

https://kafma.app/
3•KafmaKarma•1h ago•0 comments

Show HN: Skywarden – Smart astrophotography planning companion

https://skywarden.app/en
3•adfr•1h ago•0 comments

Show HN: Authorizer – open-source auth for enterprise apps and agents

https://github.com/authorizerdev/authorizer
2•lakhansamani93•1h ago•0 comments

Show HN: Cupertino – MCP servers for the Apple apps on your Mac

https://cupertino.mgcrea.io/
2•olouv•1h ago•0 comments

Show HN: tagger – a self-hosted webui for audio file tagging

https://github.com/rnhinson/tagger
2•farthest•1h ago•0 comments

Show HN: Streamtop, a terminal HLS, DASH and IPTV stream monitor

https://github.com/Jorji49/streamtop
4•kayraak•1h ago•0 comments

Show HN: CleanMyMedia – organize decades of photos, with local face recognition

https://cleanmymedia.com
3•ed-cmm•1h ago•0 comments

Show HN: HN Match Maker – Matching "Who Wants to Be Hired?" With "Who's Hiring?"

https://hnmatchmaker.com/
103•all2•18h ago•44 comments

Show HN: Windrunner – AI-powered project collaboration workspace

https://shzlw.github.io/windrunner/
7•yuegui•2h ago•3 comments

Show HN: Apple's TLS stack can't see weak ciphers, so I craft raw ClientHellos

https://apps.apple.com/us/app/radien-network-toolbox/id6789207545
3•igor_arsenkin•1h ago•0 comments

Show HN: Thelemail, private email hosting for your own domain

https://thelemail.com/
2•Hexmere•1h ago•1 comments

Show HN: OpenClip – iPhone-style text actions for macOS

https://github.com/ganeshmshetty/openclip
2•ganeshmshetty•2h ago•1 comments

Show HN: Subpool – Self-hosted AI subscription management for teams

https://github.com/gesta-run/subpool
2•jwcesign•2h ago•0 comments

Show HN: Open-source transaction enrichment dataset

https://github.com/steveharrison/openenrichment
4•steveharrison•2h ago•0 comments

Show HN: Serverless reverse geocoding for WebMCP, ESP32, and RP2040

https://nyatla.github.io/galuchat/
4•nyatla•2h ago•0 comments

Show HN: Local Personal Financial Assistant

https://apps.apple.com/us/app/linggen/id6798304906
5•linggen•2h ago•0 comments

Show HN: Review Markdown files like a document

https://github.com/shudv/easy-markdown-review-ado
3•shudv•2h ago•0 comments

Show HN: I Have Been Clawed – Index of coding agent incidents

https://ihavebeenclawed.com/
16•nezhar•9h ago•2 comments

Show HN: MC/DC coverage so coding agents could work overnight

https://supercov.com
2•Nedomas•3h ago•0 comments

Show HN: Running 104GB Qwen3.8-Flash-Next on 48GB Mac with at ~12 tok/s

https://github.com/carloslfu/slotstream
224•carloslfu•22h ago•105 comments