Benjamin Flores

Co-Founder

France3 yrs 2 mos experience

Key Highlights

Built a web3 empire with 300K users.
Achieved millions in revenue from web3 products.
Expert in formal verification of smart contracts.

Stackforce AI infers this person is a Web3 and SaaS expert with a strong focus on product development and formal verification.

Contact

benjamin.flores.pro@gmail.com LinkedIn

Skills

Other Skills

React.jscairoBlockchainMarketing StrategyMicrosoft PowerPointMicrosoft OfficeMicrosoft WordWeb DesignSocial NetworksTeamworkE-commerceCATIASpanishForeign LanguagesEnglish

About

Hey, I’m Ben 👋 • 2000: Spawned • 2020–2024: Accidentally built a web3 empire (300K users, millions in revenue) • 2025: Sold an App and failed a SaaS • 2026: Formally verifying Smart contracts at LFG Labs We use AI-enabled formal verification with Lean to mathematically prove smart contracts match their spec, every input, every edge case, no exceptions. Not there yet? Let’s talk.

Experience

3 yrs 2 mos

Total Experience

1 yr 6 mos

Average Tenure

11 mos

Current Experience

Relens ai

Co-Founder

May 2025 – Present · 11 mos · Remote

We help teams become agent native: passing from using Cursor and ChatGPT to managing a fleet of agents for both technical and non technical work

Lfg labs

Co-Founder

Oct 2022 – Present · 3 yrs 6 mos · Lisbonne, Portugal · Remote

We are a web3-focused company creating user-friendly products, from design to code.
👉 +300,000 clients
👉 Grow to a team of 8
👉 +6 Products

Alvysion

Full-stack Developer

May 2021 – Feb 2022 · 9 mos · Ville de Paris, Île-de-France, France

The position: Participation in the development of a Web accounting tool within a firm. Understand clients' accounting needs and interpret them into code.
Basic and good practice of GIT.
Daily use of GitHub (issues and pull request to manage projects).
Use of linters (tsLint, esLint etc.).
Development with typeScript => front and back.
Daily operation of React.js and Node.js
Unit and functional tests for all new Back or Front features (mainly using Jest).
Realization of end-to-end test with cypress
The main stack: React.js - Node.js - Express - Apollo - GraphQL
Media: MongoDB - AWS - Heroku