Antonio Leiva ES /EN

16 projects · since 2025

Projects

Everything I've built since I started working with agents, including what I left halfway.

Building
I'm building it right now
In use
I use it daily, or close to it
Experiment
I tried an idea; it works, but it isn't a product
Stopped
No changes in months

Timeline

Each bar runs from the first commit to the last. Hover over it to see the dates.

All projects 16

Activity synced from GitHub on 09 Oct 2026.

Nº 16 since Oct 2026 Private

aibot

Building

A proactive personal agent that runs on my own server and that I use from any device.

Aipal's successor

24 commits/yr
Nº 15 since Oct 2026 Private

Humans in the Loop

In use

Website for Humans in the Loop, the monthly meetup in Madrid for people building with AI.

to meet in person, not just on chat

7 commits/yr
Nº 14 since Oct 2026 Private

deck-kit

In use

The engine behind DevExpert's animated slides, with scenes and steps defined as data and a presenter view in sync.

born for AI Expert, now in my talks and videos too

13 commits/yr
Nº 13 since Sep 2026 Private

Silicon Streets

Building

A side-scrolling beat 'em up with noir detective work, set in 1984 Silicon Valley.

a 1984 beat 'em up generated in code

53 commits/yr
Nº 12 since Sep 2026 Open source

Harness Starter

In use

Four skills to go from an idea to your first verified feature with Claude Code, Codex or OpenCode.

drawn from what I teach in AI Expert

1 commit/yr · ★ 5
Nº 11 since Sep 2026 Private

G-Rally

Building

An arcade gravel rally game for handhelds and phones, with nine stages, three rallies and a co-driver calling the notes.

I always dreamed of making a rally game

216 commits/yr
Nº 10 since Aug 2026 Open source

Agent Dashboard

In use

A local panel to see and edit the AGENTS.md and skills of each Codex project, with no database.

I open it every day from the Dock

1 commit/yr · ★ 1
Nº 09 since Jul 2026 Open source

NextDJ

In use

An open-source desktop DJ console. Two decks, waveforms, EQ, filters and session recording.

open source, with builds for Mac, Windows and Linux

204 commits/yr · ★ 8
Nº 08 since Jun 2026 Private

DevExpert Academy

In use

DevExpert's academy. Courses, video lessons and community, on the web and in native apps.

Android is on Google Play, iOS in review

1469 commits/yr
Nº 07 since Feb 2026 Open source

PostFlow

In use

Self-hosted social media publishing. Web UI, HTTP API, MCP endpoint and CLI in a single service.

where I schedule posts for my social accounts

268 commits/yr · ★ 17
Nº 06 since Jan 2026 Open source

Aipal

Stopped

A Telegram bot that sends each message to a local agent (Codex, Claude, Gemini or OpenCode) and gives you back the result.

Codex on my phone replaced it

158 commits/yr · ★ 48
Nº 05 since Dec 2025 Open source

justdoit

Stopped

A time-blocking CLI on top of Google Tasks and Google Calendar.

I stopped using it in March

70 commits/yr · ★ 7
Nº 04 since Dec 2025 Open source

Agent Kit

In use

My catalogue of skills for agents. Email, invoices, YouTube publishing, Slack, WhatsApp and a few more.

the skills I use every day, in one repo

101 commits/yr · ★ 99
Nº 03 since Oct 2025 Open source

listmonk-cli

In use

A CLI to manage Listmonk campaigns, lists, subscribers and templates from the terminal or from an agent.

I prepare the DevExpert newsletter with it

14 commits/yr · ★ 3
Nº 02 since Jan 2025 Private

DevExpert website

In use

DevExpert's website, with AI Expert, team training, blog, newsletter and the Harness Starter guide.

my company's website

235 commits/yr
Nº 01 since Oct 2024 Private

antonioleiva.com

In use

This site, online since 2013.

rebuilt from scratch in October 2026

88 commits/yr