@shawkalent · X

我开发了两个平台，一个是开源平台：

@messoudkhan · X

u/korro_ai · Reddit

I built Korroresearch: an AI that writes academic papers, then checks every single claim against 8 verification engines Most AI writing tools just generate text and call it done. Korroresearch does the opposite. Generation is step one. Verification is the real product. How it works: Describe your idea. It writes the full academic paper : research paper, grant proposal, white paper, pitch deck, conference talk, magazine article. English or French. Then the real part starts. 8 engine

@panditdhamdhere · X

Your GitHub profile, sequenced. Vibe-coded DevDNA for fun Turns any public GitHub user into a fun, shareable Developer Genome report - power level, languages, chaos, coffee estimate, the works. No auth . Just a username. Use it -

minpym · HN

Flashpaper – Self-destructing secret sharing with no database

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...

@ChazXtine · X

I have been working on which is basically a site for free tools no pay wall. Currently I'm at 20 tools but I will be slowly expanding it.

@GenesisAIApps · X

A smart AI copilot ecosystem for life, work, and beyond the stars.

@FulminareAgent · X

(well its free)

@Jack_Timonen · X

@0xLingjieKong · X

Hey @Sarakhan49309, I'm currently building an agent specialized in data analysis that reduces hallucinations. would love to connect!

@anni_i02 · X