Simple Graphify

34 views
Skip to first unread message

Liberty Lover

unread,
Jul 18, 2026, 9:12:53 AM (8 days ago) Jul 18
to Eiffel Users
A video for Graphify came up on my YouTube feed. The idea is simple: Create a deterministic graph of a code-system with all of its files, where the goal is to give an AI (like Claude.code.ai) the capability of answering library-wide design questions with clumsy grep. The Graphify code is designed for various software languages, but — of course — not Eiffel. So, the question to Claude Fable 5 was: "Can you inspect Graphify, create specifications, and then code a similar or better system in Eiffel for Eiffel?"

Of course the answer was: Yes!

The results are found here: Simple Graphify

Enjoy

Liberty Lover

unread,
Jul 18, 2026, 9:14:18 AM (8 days ago) Jul 18
to eiffel...@googlegroups.com
Applied to simple_sql:
image.png

--
You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/eiffel-users/02a853e4-3e5e-45b7-a121-5c9da8f3f83bn%40googlegroups.com.

Liberty Lover

unread,
Jul 18, 2026, 9:18:01 AM (8 days ago) Jul 18
to eiffel...@googlegroups.com
BTW/FWIW — Simple Graphify can be (and is currently being) applied to ISE Eiffel libs as well as Gobo 25.09

image.png

Results to follow ...

Liberty Lover

unread,
Jul 18, 2026, 9:18:44 AM (8 days ago) Jul 18
to eiffel...@googlegroups.com
DONE!
image.png

Liberty Lover

unread,
Jul 18, 2026, 9:23:24 AM (8 days ago) Jul 18
to eiffel...@googlegroups.com
FUN FACT:
image.png

Eric Bezault

unread,
Jul 18, 2026, 4:24:29 PM (8 days ago) Jul 18
to eiffel...@googlegroups.com, Liberty Lover
In the same way the Gobo classes have been excluded when analyzing
ISE's libraries, can you make sure that `free_elks` and `thread`
are excluded when analyzing the Gobo libraries? They are just
verbatim copies of ISE's libraries.

--
Eric Bezault <er...@gobosoft.com>
Eiffel expert - available for freelance work
https://www.gobosoft.com


On 18/07/2026 15:23, Liberty Lover wrote:
> FUN FACT:
> image.png
>
> On Sat, Jul 18, 2026 at 9:18 AM Liberty Lover <rix....@gmail.com
> <mailto:rix....@gmail.com>> wrote:
>
> DONE!
> image.png
>
> On Sat, Jul 18, 2026 at 9:17 AM Liberty Lover <rix....@gmail.com
> <mailto:rix....@gmail.com>> wrote:
>
> BTW/FWIW — Simple Graphify can be (and is currently being)
> applied to ISE Eiffel libs as well as Gobo 25.09
>
> image.png
>
> Results to follow ...
>
> On Sat, Jul 18, 2026 at 9:14 AM Liberty Lover
> <rix....@gmail.com <mailto:rix....@gmail.com>> wrote:
>
> Applied to simple_sql:
> image.png
>
> On Sat, Jul 18, 2026 at 9:12 AM Liberty Lover
> <rix....@gmail.com <mailto:rix....@gmail.com>> wrote:
>
> A video for Graphify <https://github.com/Graphify-Labs/
> graphify> came up on my YouTube feed. The idea is
> simple: Create a deterministic graph of a code-system
> with all of its files, where the goal is to give an AI
> (like Claude.code.ai <http://Claude.code.ai>) the
> capability of answering library-wide design questions
> with clumsy grep. The Graphify <https://github.com/
> Graphify-Labs/graphify> code is designed for various
> software languages, but — of course — not Eiffel. So,
> the question to Claude Fable 5 was: "Can you inspect
> Graphify, create specifications, and then code a similar
> or better system in Eiffel for Eiffel?"
>
> Of course the answer was: Yes!
>
> The results are found here: Simple Graphify <https://
> github.com/simple-eiffel/simple_graphify>
>
> Enjoy
>
> --
> You received this message because you are subscribed to
> the Google Groups "Eiffel Users" group.
> To unsubscribe from this group and stop receiving emails
> from it, send an email to eiffel-
> users+un...@googlegroups.com <mailto:eiffel-
> users+un...@googlegroups.com>.
> To view this discussion visit https://groups.google.com/
> d/msgid/eiffel-users/02a853e4-3e5e-45b7-
> a121-5c9da8f3f83bn%40googlegroups.com <https://
> groups.google.com/d/msgid/eiffel-
> users/02a853e4-3e5e-45b7-
> a121-5c9da8f3f83bn%40googlegroups.com?
> utm_medium=email&utm_source=footer>.
>
> --
> You received this message because you are subscribed to the Google
> Groups "Eiffel Users" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to eiffel-users...@googlegroups.com <mailto:eiffel-
> users+un...@googlegroups.com>.
> To view this discussion visit https://groups.google.com/d/msgid/eiffel-
> users/
> CA%2B3qnjdMeuWdjXrxRnSRY3LauY4ftkBgh8A2TpOULXmFGawvsA%40mail.gmail.com
> <https://groups.google.com/d/msgid/eiffel-users/
> CA%2B3qnjdMeuWdjXrxRnSRY3LauY4ftkBgh8A2TpOULXmFGawvsA%40mail.gmail.com?
> utm_medium=email&utm_source=footer>.



Liberty Lover

unread,
Jul 18, 2026, 4:48:17 PM (8 days ago) Jul 18
to Eric Bezault, Eiffel Users
Yes,  I can. 

Eric Bezault

unread,
Jul 18, 2026, 5:20:16 PM (8 days ago) Jul 18
to eiffel...@googlegroups.com, Liberty Lover
In https://simple-eiffel.github.io/simple_graphify/architecture.html
I can read:

> Because Gobo's shallow preparse does not carry comments or contract text,

Apparently Claude was not intelligent enough to discover the Gobo
parser options to include comments and contracts in the AST ;-)
It is nevertheless a very useful functionality of the Gobo parser
in order to implement Eiffel pretty-printing.

--
Eric Bezault <er...@gobosoft.com>
Eiffel expert - available for freelance work
https://www.gobosoft.com



On 18/07/2026 15:12, Liberty Lover wrote:
> A video for Graphify <https://github.com/Graphify-Labs/graphify> came up
> on my YouTube feed. The idea is simple: Create a deterministic graph of
> a code-system with all of its files, where the goal is to give an AI
> (like Claude.code.ai) the capability of answering library-wide design
> questions with clumsy grep. The Graphify <https://github.com/Graphify-
> Labs/graphify> code is designed for various software languages, but — of
> course — not Eiffel. So, the question to Claude Fable 5 was: "Can you
> inspect Graphify, create specifications, and then code a similar or
> better system in Eiffel for Eiffel?"
>
> Of course the answer was: Yes!
>
> The results are found here: Simple Graphify <https://github.com/simple-
> eiffel/simple_graphify>
>
> Enjoy
>
> --
> You received this message because you are subscribed to the Google
> Groups "Eiffel Users" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to eiffel-users...@googlegroups.com <mailto:eiffel-
> users+un...@googlegroups.com>.
> To view this discussion visit https://groups.google.com/d/msgid/eiffel-
> users/02a853e4-3e5e-45b7-a121-5c9da8f3f83bn%40googlegroups.com <https://
> groups.google.com/d/msgid/eiffel-users/02a853e4-3e5e-45b7-
> a121-5c9da8f3f83bn%40googlegroups.com?utm_medium=email&utm_source=footer>.



Liberty Lover

unread,
Jul 18, 2026, 5:30:08 PM (8 days ago) Jul 18
to Eric Bezault, Eiffel Users
I'll pose it to the robot when I get home. 

Eric Bezault

unread,
Jul 18, 2026, 5:34:21 PM (8 days ago) Jul 18
to eiffel...@googlegroups.com, Liberty Lover
If it does not figure out how to do it, you can ask
a human to explain ;-)

--
Eric Bezault <er...@gobosoft.com>
Eiffel expert - available for freelance work
https://www.gobosoft.com


On 18/07/2026 23:29, Liberty Lover wrote:
> I'll pose it to the robot when I get home.
>
> On Sat, Jul 18, 2026, 5:20 PM Eric Bezault <er...@gobosoft.com
> <mailto:er...@gobosoft.com>> wrote:
>
> In https://simple-eiffel.github.io/simple_graphify/architecture.html
> <https://simple-eiffel.github.io/simple_graphify/architecture.html>
> I can read:
>
>  > Because Gobo's shallow preparse does not carry comments or
> contract text,
>
> Apparently Claude was not intelligent enough to discover the Gobo
> parser options to include comments and contracts in the AST ;-)
> It is nevertheless a very useful functionality of the Gobo parser
> in order to implement Eiffel pretty-printing.
>
> --
> Eric Bezault <er...@gobosoft.com <mailto:er...@gobosoft.com>>
> Eiffel expert - available for freelance work
> https://www.gobosoft.com <https://www.gobosoft.com>
>
>
>
> On 18/07/2026 15:12, Liberty Lover wrote:
> > A video for Graphify <https://github.com/Graphify-Labs/graphify
> <https://github.com/Graphify-Labs/graphify>> came up
> > on my YouTube feed. The idea is simple: Create a deterministic
> graph of
> > a code-system with all of its files, where the goal is to give an AI
> > (like Claude.code.ai <http://Claude.code.ai>) the capability of
> answering library-wide design
> > questions with clumsy grep. The Graphify <https://github.com/
> Graphify- <https://github.com/Graphify->
> > Labs/graphify> code is designed for various software languages,
> but — of
> > course — not Eiffel. So, the question to Claude Fable 5 was: "Can
> you
> > inspect Graphify, create specifications, and then code a similar or
> > better system in Eiffel for Eiffel?"
> >
> > Of course the answer was: Yes!
> >
> > The results are found here: Simple Graphify <https://github.com/
> simple- <https://github.com/simple->
> > eiffel/simple_graphify>
> >
> > Enjoy
> >
> > --
> > You received this message because you are subscribed to the Google
> > Groups "Eiffel Users" group.
> > To unsubscribe from this group and stop receiving emails from it,
> send
> > an email to eiffel-users...@googlegroups.com
> <mailto:eiffel-users%2Bunsu...@googlegroups.com> <mailto:eiffel-
> <mailto:eiffel->
> > users+un...@googlegroups.com
> <mailto:users%2Bunsu...@googlegroups.com>>.
> > To view this discussion visit https://groups.google.com/d/msgid/
> eiffel- <https://groups.google.com/d/msgid/eiffel->
> > users/02a853e4-3e5e-45b7-a121-5c9da8f3f83bn%40googlegroups.com
> <http://40googlegroups.com> <https://
> > groups.google.com/d/msgid/eiffel-users/02a853e4-3e5e-45b7-
> <http://groups.google.com/d/msgid/eiffel-users/02a853e4-3e5e-45b7->
> > a121-5c9da8f3f83bn%40googlegroups.com?
> utm_medium=email&utm_source=footer <http://40googlegroups.com?
> utm_medium=email&utm_source=footer>>.
>
>
>
> --
> You received this message because you are subscribed to the Google
> Groups "Eiffel Users" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to eiffel-users...@googlegroups.com <mailto:eiffel-
> users+un...@googlegroups.com>.
> To view this discussion visit https://groups.google.com/d/msgid/eiffel-
> users/CA%2B3qnjeHrTW7qjJ3MqywgjMxSiCDV91Bsg%3Dcb4RgwZW-
> _1JrxA%40mail.gmail.com <https://groups.google.com/d/msgid/eiffel-users/
> CA%2B3qnjeHrTW7qjJ3MqywgjMxSiCDV91Bsg%3Dcb4RgwZW-
> _1JrxA%40mail.gmail.com?utm_medium=email&utm_source=footer>.



Reply all
Reply to author
Forward
0 new messages