@mkappworks · X

I am building lets connect

@aryawarti_aky · X

Hey Daniel ! I Built PRisk — an AI-powered pull request risk intelligence platform for GitHub & Gitea. Paste a PR URL and get an evidence-backed Merge Confidence Score before you merge. 🔗 I'd love to hear your feedback!

@AuditJet · X

@syprayt · X

We are building platform to verify user knowledge using AI, so you can avoid boring lectures and save years of life. It’s Academission baby. Yesterday we launched online mode, so that everyone could test our technology, here is the link:

jayaprabhakar · HN

I've been building an open source formal methods system (fizzbee.io) for the past few years. Today I'm launching a new app built on the same technology. It performs requirements engineering using formal verification to uncover gaps and produce precise instructions for your coding agents to follow. When given a prompt, it - asks high signal follow-up questions - converts to formal spec and identifies complex requirements gaps - generates validation scenario At the end, it produces a specification document that can be shared with coding agents. In my trials on various projects, it produces working code in fewer iterations. Please give it a try and share your feedback. https://fizzbee.ai/ You can also look at a sample project. https://fizzbee.ai/projects/94bf2869-97a1-445c-8f5d-4445848b...

mhmt_dmr · HN

MCP Gateway – Turn existing APIs and databases into MCP servers

@StandaraAI · X

@alencristen · X

@SinghApurv1711 · X

Hey! Check it out here:

@jay_cobski · X

Awesome oil and gas safety audit tool -

@danielkleach · X

is a branded client portal for files, answers, sign-offs, and signatures. No more scattered email threads, docs in Google Drive, or confusion about who is waiting for whom. Business and client both see what is done and what is in progress on both sides, in

@ZiyadL6 · X