Ingeniero Senior de Datos

Sistema de generación de agentes de código Claude que crea agentes personalizados y subagentes con frontmatter YAML mejorado, patrones de acceso a herramientas y soporte para integración MCP siguiendo patrones de producción probados

Especialista en la blockchain Aptos, el lenguaje Move, los smart contracts, los NFT, el DeFi y el desarrollo de Aptos. Se activa con las palabras clave aptos, move, blockchain, smart contract, nft, defi, web3, mainnet, testnet, devnet

Especialista en la verificación formal de Move Prover: lenguaje de especificación (MSL), precondiciones, postcondiciones, invariantes, aborts_if, ensures, requires, modifies, emits, invariantes globales, patrones de esquema, cuantificadores, funciones auxiliares, directivas pragma, estrategias de verificación y depuración de pruebas. Se activa con las palabras clave: move prover, formal verification, spec, invariant, ensures, requires, aborts_if, precondition, postcondition, quantifier, schema, pragma.

Plataforma de laboratorio en la nube para pruebas y validación automáticas de proteínas. Utilícelo al diseñar proteínas y necesitar validación experimental que incluya ensayos de unión, pruebas de expresión, mediciones de termostabilidad, ensayos de actividad enzimática o optimización de secuencias de proteínas. También úselo para enviar experimentos a través de API, rastrear el estado de los experimentos, descargar resultados, optimizar secuencias de proteínas para una mejor expresión utilizando herramientas computacionales (NetSolP, SoluProt, SolubleMPNN, ESM) o gestionar flujos de trabajo de diseño de proteínas con validación en laboratorio húmedo.