Education5 days ago
openstem — code skills that finally stick
Learn code skills with flashcards, quizzes, and AI tutoring built on memory science.
@mkappworks · X
I am building lets connect
The full gallery
Tech stack
60 projects
Learn code skills with flashcards, quizzes, and AI tutoring built on memory science.
@mkappworks · X
I am building lets connect
Analyze GitHub pull requests with AI to get a merge confidence score.
@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!
Monitor Core Web Vitals and measure how slowdowns impact your revenue.
@AuditJet · X
Take AI-powered skill assessments to verify your knowledge and earn certifications.
@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:
AI tool that asks clarifying questions and generates verified specifications for coding agents.
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...
Convert OpenAPI specs and databases into MCP tools without coding.
mhmt_dmr · HN
MCP Gateway – Turn existing APIs and databases into MCP servers
Dispatch technicians, manage customers, and grow your alarm and security business.
@StandaraAI · X
Search and analyze breach data, threat feeds, and exposed credentials from a single workspace.
@alencristen · X
Notes with code blocks, Kanban bug tracker, and snippet library with GitHub import.
@SinghApurv1711 · X
Hey! Check it out here:
Manage oil & gas safety audits, JSA analyses, and hot work permits with offline-capable software.
@jay_cobski · X
Awesome oil and gas safety audit tool -
Secure client portal for sharing files, answers, and approvals with real-time status visibility.
@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
AI tool to detect online scams, phishing attempts, suspicious emails and malicious links.
@ZiyadL6 · X