Skip to content
View minibota's full-sized avatar
🏠
Working from home
🏠
Working from home
4 followers · 12 following

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex3Achievement: YOLO

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex3Achievement: YOLO

Block or report minibota

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
minibota/README.md

Pavel S. Muñoz

Principal Engineer & Platform Architect

I build cloud platforms, data systems, and software products. 20+ years across software engineering, Linux infrastructure, and production operations—from architecture to implementation.

I lead technology at the Committee on Sustainability Assessment (COSA) and founded Minibota Labs LLC.

At COSA

I lead the architecture and evolution of the Sustainability Information System (SIS), a multi-tenant platform supporting international sustainability programs.

My work spans technical strategy, engineering guidance, cloud infrastructure, data pipelines, and production reliability—with security, privacy, and traceability built into the architecture.

Building at Minibota Labs

  • Ruralia — An AI farm assistant that turns Telegram conversations into structured records of sales, expenses, and production activities. Built with TheFarmerBox.
  • CronCommander — Centralized cron management and observability across servers, with execution history, ownership, approvals, and audit trails.
  • RuleGenius — Rule governance, validation, and transformation. Developing RuleScript, an implementation of the open RuleSpec DSL standard.
  • Form-Talk — Turns XLSForms from the ODK, KoboToolbox, and SurveyCTO ecosystem into Telegram bots for conversational data collection.
  • Lowster — Deal discovery and price tracking across participating stores, bringing together price drops and coupons.

Tools & approach

Python · Go · Java · C/C++ · SQL · PostgreSQL · Linux · Google Cloud · Docker

I value clear system boundaries, explicit trade-offs, and incremental modernization. AI where useful; deterministic logic where correctness matters.

Madrid, Spain · minibota.com

Pinned Loading

  1. rulegenius-labs/rulespec rulegenius-labs/rulespec Public

    Open specification for RuleSpec — a human-readable DSL for data validation and governance. Includes grammar, documentation, examples, parsers, and reference tests.

    Python 1

  2. croncommander/cc-agent croncommander/cc-agent Public

    CronCommander Agent – lightweight daemon for cron observability

    Go 1

  3. xlsform-export-humanizer xlsform-export-humanizer Public

    Convert XLSForm-based survey exports into human-readable spreadsheets with descriptive labels instead of internal question IDs.

    Python 1

  4. gcloud-env gcloud-env Public

    Fast Go TUI for switching gcloud configurations together with matching ADC credentials.

    Go 1