
knowledge graph engine for enterprise software Open source- 125k+ GitHub⭐️ backed by @ycombinator
San Francisco, CA
Joined June 2024
- Tweets90
- Following1
- Followers2.9K
- Likes1.2K
Graphify Labs (YC S26) retweeted
love this. we’ve been doing formal verification at graphify too, just from the opposite direction.
instead of modeling your system in tla+, we use the previous version of your code as the spec. on every pr, each changed function is checked against its old version: an smt solver either proves they’re equivalent or finds the exact input where behavior changed.
for rust and c we use kani and cbmc, and when a proof can’t reach, we fall back to symbolic execution and real inputs from your own tests.
if you’re new to this, think of it as differential verification. instead of writing a separate model and proving your code matches it, you treat the last version of the code as the relative specification. the question becomes “does this change preserve behavior, or did something shift?” an SMT solver either proves they’re the same or hands you the exact input, old value, and new value.
historically formal verification never reached mainstream status because of the difficulty in modeling and writing proofs. it’s quite difficult to model your business requirements and keep them in sync! but using the previous version as the spec sidesteps that. there’s nothing extra to maintain.
in the meantime we’ve been running this on real prs and it’s already catching behavior changes, with the input, old value, and new value right in the review.
pstack v0.15.27 ships with a new skill /create-formal-verification-skill!
it's still in beta, and similar to /create-verification-skill, this is a meta-skill that creates a new skill and formal verification suite based on the characteristics you want to verify. for example, you may want to model state machines and systems with concurrency using TLA+, or use kani in rust to check for undefined behavior.
if you're new to formal verification, think of it as mathematically proving properties and invariants (something that must always be true) or "laws" of your system. usually, this means modeling your programs in a separate language like with TLA+ and then running the solver on that spec. newer approaches like with kani and @bendlang take a different approach where there is no separate language: you write kani in rust, and bend in bend (it's also a programming language, and the proofs are written as laws and expressed in its type system).
historically formal verification never reached mainstream status because of the difficulty in modeling and writing proofs. it's quite difficult to model your business requirements and keep them in sync! but i expect that we will see more innovation in formal verification in the future as being able to formally verifiy that the code does what you intended gives your agents superpowers in writing correct software.
in the meantime though, i've been experimenting with modeling our code with TLA+ and have already found several bugs with the skill created by /create-formal-verification-skill.
try it out and let me know how it goes!
Graphify Labs (YC S26) retweeted
been thinking about this a lot.
a year ago id open a PR and force myself to read every line even when i was tired. now the agent writes the change, runs the proofs and can push to main before ive even finished the thread.
easy path is cognitive surrender. you stop tracking what the systems actually doing and just approve whatever comes back coz the tests passed.
harder path is staying in cognitive engagement. not scanning diffs. holding the longer picture in your head and deciding which direction was actually worth taking before the agent even starts.
thats the real shift. not whether code review disappears. whether we stay engaged or slowly check out.
Graphify Labs (YC S26) retweeted
I was just watching this kaparthy video about how LLMs is bad at counting and math cuz it has to compute everything in a token. I think about graphify and what makes it work is you are looking at code.
Code is truth and you are turning it each a semantic roadmap for the LLMs. This is what makes it work. You’re taking the part LLMs are bad at and making it magical. Same logic why Jev is taking off and why people mix markdown with scripts. Graphify is that trust layer for agents. But people have to trust it before they can give into it. Actionable insights, finding bugs, making migrations faster, reducing tokens. Each delivery is one more trust item
I truly don't understand why nobody is using this setup
graphify, a tool that turns any folder into a knowledge graph your agent can query, just passed 126k stars on github and got into Y Combinator. people stopped asking ai questions. they're giving it a desk, a memory and a job.
you give Claude Code one folder, plug in your email, calendar and a browser, and it turns into an agent. it reads, remembers, acts, and checks itself before it does anything stupid.
doesn't matter if you're a founder, a marketer or a student, you need this
the full setup:
> create a folder called AGENT, open Claude Code inside it and add a CLAUDE.md with one rule: "save every decision, person and project to memory/"
> run npm install -g @googleworkspace/cli, then gws auth setup. now it reads your Gmail, Calendar and Drive
> run claude mcp add playwright npx @playwright/mcp@latest. it gets its own browser to open sites, fill forms and pull data for you
> run uv tool install graphifyy, then graphify install, then type /graphify .. everything in the folder becomes a knowledge graph it queries in seconds instead of digging file by file
> run npm i -g jev-guard, jev-guard key "...", jev-guard install claude. a tiny model called Jev scores every action before it runs. rm -rf gets blocked, a poisoned email gets flagged, for about 4 cents per 1,000 checks
> type /schedule and tell it "every morning at 7:30, send me what came in, what you drafted and what waits for my yes". from now on it works on a routine
15 minutes to set up, and you never start from a blank chat again.
every repo is below:
-> github.com/googleworkspace/c…
-> github.com/microsoft/playwri…
-> github.com/Graphify-Labs/gra…
-> github.com/leepokai/jev-guar…
bookmark this
Graphify Labs (YC S26) retweeted
They say if you can sell your product to the agents, you’re winning.
2.2M MCP calls in the last 30 days at @graphify
Graphify Labs (YC S26) retweeted
The reason we hit 22,000+ users in 7 weeks is open source traction turning into real product users. All bottoms up PLG.
Biggest advice to founders: build in public and get the distribution. It compounds.
Oh btw we’ve hit another milestone on open source of @graphify with 125k GH stars
Graphify Labs (YC S26) retweeted
Cleanest free @graphify setup I’ve seen so far
Ollama + Claude Code, fully local
Graphify Tutorial: Free Setup with Ollama + Claude Code
@graphify
youtu.be/fiJpDJl-jc0
Graphify Labs (YC S26) retweeted
How I Give a Grok Bot the Map Before the Files
Graphify and Obsidian turn a project folder into a knowledge graph so the model stops rereading every file at the start of a session. Graphify is open source, Apache-2.0, and it runs the code parse on the machine. Obsidian is free for personal and commercial use, and the vault is ordinary markdown you keep.
Graphify’s own material cites 71.5 times fewer tokens against reading the raw files, on one mixed corpus. I have not run that benchmark.
A Grok Bot is a standing brief, a conversation that does not die when I close the tab, and a computer: browser, files, terminal. Left alone, it opens the folder, reads what it can reach, and rebuilds the room from scratch. On a small repo that is cheap. On the vault I actually work from, it is the same tax every morning.
I have kept the other half of this system since the week Gmail shipped, April 2004. Each clipping is an email. The subject line is the taxonomy. The body carries the ontology: what the thing is, what it sits next to, what it is not. When Grok can read the account, the scrapbook is already a graph. Graphify is the same idea pointed at a folder instead of an inbox.
I point it at the project the Bot is hired to keep. Code is parsed locally, with tree-sitter, and nothing in that pass has to leave the machine. Notes, PDFs, and the decision memos go through an extraction pass.
The output I care about is not the interactive HTML. It is GRAPH_REPORT.md and the graph file beside it: the high-degree nodes, the clusters, the edges that are not obvious from the filenames.
In Obsidian can read that map. The Bot does not need the canvas. It needs the report, and a line in its brief that says read the report before you open a file.
Graphify’s installer writes that instruction into AGENTS.md. For a Grok Bot I put the same sentence in the standing brief and I leave the report in the Bot’s files.
The first question of a session is not what is in this repo. It is what the graph says this touches. Then it opens the few files in that cluster. If the graph is wrong, the Bot is wrong in a way I can see, because the miss has an edge I can check.
People who have timed it on pure code put the realistic cut closer to five or ten times on structural questions, and near nothing under a hundred files.
I treat that number as someone else’s measurement. What I keep is the order of operations. Build the map once. Make the hire read the map. Rebuild when the hash of a file changes.
Grok Bot is the employee that used to walk the shelves. Now it reads the card catalog first.
Graphify Labs (YC S26) retweeted
Young devs kept asking how knowledge graphs actually work, so we took the price off. The Memory Layer is free now.
graphify.com/books
AI agents forget everything the moment the context window closes.
I spent 2 years in knowledge graphs and neurosymbolic AI before building Graphify to fix that.
The Memory Layer is the book behind it. 144 pages. Real code.
Every codebase, corpus has a god node nobody knows about yet.
Go find yours.
⬇️ safishamsi.gumroad.com/l/qet…
Graphify Labs (YC S26) retweeted
Remember when people said MCP was dead?
We launched 6 weeks ago. Nearly 2M calls in September.
3 million MCP calls to @resend last month.
April: 106,719
May: 153,597
Jun: 242,271
Jul: 580,121
Aug: 1,062,650
Sep: 3,003,809
remember when people said MCP was dead?
Graphify Labs (YC S26) retweeted
Seven days since the last update on daily active users at @graphify cloud and we got our all time highest, within 6 weeks of launch with 1,186 users active in a single day.
Live at: app.graphify.com
The best part about moving fast in the age of AI is watching the growth show up in numbers.
950 daily active users on @graphify yesterday, up from 933 last week and the highest we’ve had so far
Graphify Labs (YC S26) retweeted
2 days in and 60+ of you have already applied to @graphify GraphGuild!
reading every single one 💚
still open if you want in: graphify.com/graphguild
Graphify Labs (YC S26) retweeted
We announced our community at @graphify and discord grew to 500+
If you’re a contributor, ambassador or a creator. Come join us
Discord link: discord.gg/FTwmN2bEK
The best part of building @graphify has been the people around it
So we opened GraphGuild
If you create content, contribute to Open Source or want to run events in your city, this is the way in. Paid work for creators. Support for ambassadors.
Come build it with us.
Apply now:graphify.com/graphguild
Graphify Labs (YC S26) retweeted
Beating our own weekly milestones is the best feeling as a founder.
As YC says make something people want
Graphify Labs (YC S26) retweeted
shoutout to every maintainer contributor and reviewer out there!
you're all the real MVPs
Graphify Labs (YC S26) retweeted
Open source got us 122k+ stars.
The platform got us 300+ customers in 6 weeks.
And that’s only B2C.
Try it → app.graphify.com
Graphify Labs (YC S26) retweeted
A customer came to us with 67,000 tests. One function changed. CI still ran all of them.
Over an hour, every push, because the pipeline could not tell what that change could break.
They already run Buildkite. We are hooking the graph up so a push only runs the tests that touch the change.
Early access is open if you want it on your pipeline, DM and I’ll turn our beta on for you!
Graphify Labs (YC S26) retweeted
I am building a team @graphify
If you're really really really good at building stuff, design, filmmaking, writing, pushing the models to their limits, or just making people care about a product at mass, absolutely reach out
Let's collab + make stuff.
Graphify Labs (YC S26) retweeted
Our first Devrel is at it
If you build using @graphify, you should be in there.
discord.gg/D4RVMtGwmM
We got a cool discord server tag for @graphify 👀
letting the curious ones find us!
Graphify Labs (YC S26) retweeted
We hit 933 daily active users on @graphify yesterday, the highest single day since we opened the platform a month ago.
One engineer @TPateeq built this with me in just under two months, and people are actually coming back and using it. That matters more to me than stars ever did.
Try the v1-> app.graphify.com
Graphify Labs (YC S26) retweeted
Graphify just passed 7.5M downloads in under 6 months.
1.7M of that was in the last 30 days. Still coming in at 0.61 installs a second.
At @graphify we are standing up the community next. I want the name to come from the people who use it and contribute to it.
What should we call it?



























