Eni

Eni is a software engineer at LFG Labs. He ships high quality code with our playbook to bring full formal verification of smart contracts within reach of every DeFi team.

He has contributed to Kakarot, a zkEVM focused on efficient client-side proving, as well as The Cairo Book, a Starknet conversational AI agent, and a Cairo code generation API compatible with MCP tools.

Eni holds dual Master's degrees from INSA Lyon (Engineering) and Universität Passau (Computer Science).