msaug.dev
Profile picture

About Me

Hi, I’m Mathieu, a Software Engineer. I’m the CTO of Kakarot, a company that works on developing efficient Zero-Knowledge Proofs systems for client-side proving.

I’ve also been working on a few side projects over the years, including writing a book about the Cairo Programming Language; an AI conversational agent for the Starknet Ecosystem, or an API for Cairo Code generation that can be plugged to any agentic tool using MCP.

I have a Master’s degree in Engineering from INSA Lyon, and a Master’s degree in Computer Science from Universität Passau.

[Github]

Recent Posts

Title Date
Using DSPy in Production
Going from simple DSPy modules to an optimized production-ready application