I built a tool for (formal) model-based specification and testing
I built a tool for (formal) model-based specification and testing launched on June 6, 2024 with 8 votes, #1,232 of 4,672 launches that month and more than 75% of that year's launches. The site was still online in September 2026, 2 years on.
What it does
Welcome to Provengo's downloads site! Please visit our main site for more information. Provengo is free for personal and evaluation use. For commercial use, please contact us 🙂 . We encourage you to register to receive updates and news. You can also find us on Twitter , YouTube , LinkedIn , and Discord . After downloading, learn how to put Provengo to work by visiting our documentation site , tutorials center , and YouTube channel . If you're using VSCode or one of its forks, you can also install our extensions from the Microsoft marketplace or from Open-VSX.org . NOTE: By downloading tools from this site, you agree to Provengo's Terms and conditions . Installation can be done manually ,…from downloads.provengo.tech
Does a similar job
all alternatives →- IBI Built an AI Tool That Humorously Roasts Your Product's Design2024 · mockmymockup.co · ▲7
- IMI made an API builder for side projects2022 · getquickbase.com · ▲6
- ICI created a tool to measure code quality [With a collaborative ranking]2021 · codekhana.xyz · ▲5
- IBI built a tool to quickly connect APIs to LLMs like OpenAI models2025 · interlify.com · ▲5
- IB
I started building an open-source suite of tools for web apps2024 · github.com · ▲9
More dev tools this month
the category →
open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.
Dev tools · 27d ago · github.com
Contribute to reladraw/reladraw development by creating an account on GitHub.
Dev tools · 25d ago · github.com
OpenBot▲362Grok Bot alternative: free, local, open-source, multiplayer
Dev tools · 22d ago · openbot.run
Talanoa▲340Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…
Dev tools · 20d ago · talanoa.email
CoreSpeed▲332One MCP for everything your agents need: apps, memory, tools
Dev tools · 27d ago · corespeed.io
Source: Show HN post ↗
Launched alongside, June 2024
the whole month →
La Growth Machine▲1,216Create personalized, multi-channel conversations at scale
AI · 2024 · lagrowthmachine.com
PyjamaHR▲1,132Hiring on autopilot. The AI applicant tracking system (ATS).
Work · 2024 · pyjamahr.com