ugurd · Product Hunt

Symvanta The code graph your AI coding agent is missing

ximihoque · HN

Collaborative context-sharing memory platform for agents and teams

@otakuaakash · X

u/jeremyStover · Reddit

My second paying customer bought a full year subscription. I have mentioned https://semfora.ai before, here and there on Reddit. I haven't talked much about what it really provides. I was hoping to drive up some organic traffic, from people that had the motivation to dig past the beta. Stupid idea, but now that we have passed pen tests and hit the minimum requirements check list for security audits, (see other threads about that) we opened up the beta to everyone. Two days after that(

u/manndortmund · Reddit

Create, browse and chat with your Open Knowledge Format. The Open Knowledge Format is Google's open standard for knowledge that both people and AI agents can read. This tool lets you build your own OKF , browse it, and question it — without writing markdown and YAML by hand. Upload once, then structure, visualize and ask across your whole bundle. Concept Library Upload a .zip, .md or .json bundle in OKF v0.2 format. The parser reads out the concepts and their frontmatter, so titles, desc

u/Express-Phase1532 · Reddit

rungraph - see what your coding agent actually did, as an interactive graph (open source) My coding agent kept doing 20 minutes of work I couldn't inspect afterward. The transcript exists (Claude Code and Codex CLI write everything to disk), but nobody reads 4,000 lines of JSON. So I built rungraph, open source and free (MIT). npx rungraph turns every session on your machine into a clickable graph: your prompts run down the spine, subagents get their own lanes, and it flags stuff like ret

TOPDEV99999 · GitHub

AI-codepilot An advanced AI-driven code analysis tool built with Next.js, leveraging OpenAI's API to review and debug code efficiently.

u/hyperschlauer · Reddit

I built a free knowledge-graph game where every move follows a real Wikidata relationship I’m building Webwoven for OpenAI Build Week, and the beta is now live: https://www.webwoven.org It’s inspired by Wikipedia hopping: you start with one topic and try to reach a target in as few moves as possible. Every move follows a real relationship from a reviewed Wikidata graph. The game therefore shows why two topics are connected instead of treating ordinary page links as paths. Webwoven curr

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

narwhster · HN

A notebook for prototyping with your agent

u/dogballer05 · Reddit

I want to be brutally honest - my team and I built an AI code repo analyzer and we are having trouble getting even our friends and family to use it Looking for helpful feedback on where are we going wrong - we have pitched to companies and individuals and everyone we talk to says that keeping up with and understanding code bases is getting harder and harder as AI moves things so quickly but we are not seeing users even try it out on free accounts. Here is our URL: https://codetours.ai/

@SinghApurv1711 · X

Hey! Check it out here: