# Carlos Nava

Software Engineer · Full Stack · Python, Django, React, TypeScript, AWS
Reynosa, Tamaulipas, Mexico · Open to remote, hybrid or on-site roles · English (professional), Spanish (native)
hello@carlosnava.dev · https://www.linkedin.com/in/carlosnavam · https://github.com/yeguacelestial · https://carlosnava.dev

Software engineer with six years of experience. I build web and mobile products end to end, automate manual work, and run two apps of my own in production.

## My products (in production)

### Relic · Founder, solo developer · Oct 2025 - Present
https://therelic.app
- TL;DR: iOS app that brings back your book highlights every morning. Its MCP server is listed in the Claude and ChatGPT directories.
- Stack: Expo, React Native, TypeScript, Swift, Python, FastAPI, Supabase, PostgreSQL, MCP, OAuth 2.1, Playwright, RevenueCat
- About 15,000 lines of native Swift; remote MCP server on the official Python SDK with OAuth 2.1; Kindle import with Playwright; 44 languages; about 1,800 automated tests.

### Gym Wigas · Founder, solo developer · Aug 2026 - Present
https://gymwigas.app
- TL;DR: Fitness game where your character only levels up when you really train. 72 accounts and the first paid subscriptions in its first 5 weeks.
- Stack: Next.js, React, TypeScript, Supabase, PostgreSQL, LiveKit (WebRTC), MediaPipe, TensorFlow Lite, Expo, React Native, Stripe, RevenueCat
- Live video duels for up to 8 players; push-up detection with pose landmarks; gym check-ins verified with the Google Places API; 898 commits in 43 days.

## Experience

### Freelance Software Engineer · Self-employed · Jan 2025 - Present
- TL;DR: Custom apps, dashboards and automations that replace Excel and WhatsApp for small businesses.
- Stack: React, TypeScript, Django, AWS (EC2, S3, VPN)

### Software Engineer · Alluxi · Apr 2024 - Jan 2025
- TL;DR: AI recruitment platform on the OpenAI API: candidate classification 80% more accurate. Also backend for corporate insurance and an education marketplace.
- Stack: OpenAI API, Python, Django, React

### Back End Developer · Jüsto · Aug 2023 - Jan 2024
- TL;DR: 30% faster backend and 40% of manual warehouse work automated; handled 50% inventory growth.
- Stack: Python, Django, Angular, TypeScript

### Cyber Security Engineer · Scitum · Feb 2023 - Aug 2023
- TL;DR: Automated incident response: 60% faster reaction to threats; fewer false positives.
- Stack: Palo Alto xSOAR, Python

### Full Stack Engineer · Team Lead · Alluxi · Nov 2021 - Feb 2023
- TL;DR: Led a team of 5 on 2 internal products. Real-time blockchain dashboards, computer vision (60% more accurate exam detection) and a flight booking system with 50,000+ bookings a month (30% less downtime).
- Stack: Python, Django, JavaScript, Vue, Nuxt, OpenCV, automated testing

### Full Stack Engineer · Nómada Software House · Jun 2021 - Nov 2021
- TL;DR: Features and APIs for an HR platform.
- Stack: React, GraphQL, Go, PostgreSQL, MongoDB, AWS

### Backend Software Developer · Sysy.mx · Nov 2020 - May 2021
- TL;DR: Web scraping bots for insurance data: 70% less manual work.
- Stack: Python, Pandas, Selenium, JavaScript, React

### Web Developer (part time) · Alluxi · Sep 2020 - Oct 2020
- TL;DR: Refactored the UI of an existing web platform.
- Stack: JavaScript

### Administrative Intern · UANL · Jul 2018 - Aug 2018
- TL;DR: Reviewed and organized academic documents.

## Education
- B.Sc. Software Engineering, Universidad Autónoma de Nuevo León (UANL), 2017 - 2022

## Skills
- Languages: Python, TypeScript, JavaScript, Go, Swift, SQL
- Backend: Django, FastAPI, REST, GraphQL, PostgreSQL, MongoDB, Supabase
- Frontend and mobile: React, Next.js, Vue, Nuxt, Angular, React Native, Expo
- AI and cloud: OpenAI API, MCP, OpenCV, TensorFlow, MediaPipe, AWS, Docker, CI/CD

## Recommendations (LinkedIn)
- "Carlos is an excellent developer and project leader." Sandra González, his manager, 2023 (translated from Spanish)
- "His problem-solving skills, his commitment to quality and his proactive attitude contributed to the success of every project he was part of." Lourdes Lopez Pepa, his manager, 2025 (translated from Spanish)
- "The way he codes is optimal, clear and clean." Jesús Ernesto Martínez Olmos, reported to him, 2023 (translated from Spanish)
- "He knows how to handle and delegate tasks based on other people's strengths." Christian Villarreal, reported to him, 2022 (translated from Spanish)
- "The way he leads and organizes the team is excellent." Mónica Ivette Chapa Rodríguez, same team, 2022 (translated from Spanish)
- "It is good to have someone like Carlos on your team." Daniel Santiago Quintero Ariza, same team, 2022
- "Someone who adapts to the situation, keeps growing and pays attention to detail." Edgar Eduardo Piedra Silva, same team, 2022 (translated from Spanish)
- "I have no doubts about his knowledge or his desire to keep learning." Edder Silva, same team, 2021 (translated from Spanish)