Education4 days ago
A coding network where learners build visible proof through courses and challenges with mentoring and company operations.
@Michaela200_5 · X
The full gallery
Tech stack
23 projects
A coding network where learners build visible proof through courses and challenges with mentoring and company operations.
@Michaela200_5 · X
Local-first cognitive runtime with live AST graphs, runs in your browser with no data sharing.
@fortsignal1 · X
Create dynamic QR codes with custom logos, colors, and usage tracking.
@IfeanyiArinze10 · X
What does What makes it unique?
Learn code skills with flashcards, quizzes, and AI tutoring built on memory science.
@mkappworks · X
I am building lets connect
Generate code documentation automatically on GitHub pull requests.
Aldasams · HN
Show HN: DocFlow – AI documentation updates for GitHub pull requests
Desktop app for running multiple AI coding agents in parallel across git worktrees
vuphanse
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...
Upload datasets to automatically find statistically significant correlations and causal relationships.
@matthew_meadows · X
Correlation Studio - Discovery Mining • Causation Analysis A powerful new SaaS statistics application that brings the insights of correlation data science to everyone. Data science without the code.
Generate customizable Open Graph images from templates for blog posts and social media.
javayhux · V2EX
名称：Open Graph 图片生成器 网址：[https://og.mkdollar.com]( https://og.mkdollar.com) 功能：内置 10+ Open Graph 图片模板，选择模板，配置参数，即可生成好看的 OG 图片，适用于文章配图、社媒帖 子封面等场景 价格：免费使用，免费下载 
Write and run code in your browser with AI code generation and auto-fix features.
@anish2good · X
Upload code to automatically scan for security vulnerabilities.
@POONAMSING9999 · X
Forget this fight. The problem in AI is vibe coding security risk so i made vibe Guard ai that analysis user code and found out security risks. For the sake of humanity, to solve a painful problem I made this It had free version try now
Free online tool for creating flowcharts, process diagrams, org charts, and UML diagrams.
@N0V4Dev · X
I found a tool called Next AI that links AI capabilities directly with diagrams. It lets you build and edit diagrams using natural language prompts instead of clicking around the canvas manually. It's a handy way to sketch out architecture when you don't want to drag every box yourself. The project is built on TypeScript with React 19 and Next.js. It supports multiple AI providers and even includes an MCP Server. This means you can use it with the Claude Code CLI to generate diagrams from your terminal. Deployment options are flexible too. You can run the tool locally with Docker or push it to Vercel and Cloudflare Workers. It supports multi provider setups so you can pick the backend that fits your workflow. #Nextjs #AI #Diagrams #TypeScript