Programación · Avanzado
Verificado
Verificación automatizada
- Superó todos los controles automáticos: esquema, unicidad, HTTPS y enlace de la fuente activo, análisis de inyección de prompts y seguridad, y regla del paso de aprobación.
- No se registró el modelo que lo redactó.
- Revisión de un segundo modelo: deepseek/deepseek-v4-pro (sin hallazgos críticos ni altos).
- Traducción al español: google/gemini-4-argon, revisada por openai/gpt-5.5.
- Verificado el .
- Solo controles automáticos y revisión por IA, no revisión humana.
Especificación formal y síntesis de pruebas
Sintetiza implementaciones algorítmicas y pruebas formales frente a especificaciones matemáticas exactas
Usar con BotBento MarkdownEnglish
Abre BotBento. Pega el prompt en un bot; nada viene preconfigurado.
- Cuando lo pidesEnviar especificación formal
- DespuésEjecutar verificador y crear pruebas
- ResultadoPresentar lemas y código verificados
Guía la generación de implementaciones de algoritmos complejos y pruebas de verificación formal frente a definiciones matemáticas concisas. El bot itera sobre pruebas basadas en tácticas en un sistema de verificación formal, comprueba la exactitud mediante herramientas locales de compilación y empaqueta el código verificado y los scripts de prueba para su revisión humana.
Prompt para empezar
BotBentoRecomendado
Cuando recibas un archivo de especificación formal en un repositorio, inspecciona las propiedades objetivo usando la terminal. Propón borradores de implementación y genera pruebas formales candidatas paso a paso, ejecutando el verificador después de cada hito. Nunca subas código, abras pull requests ni elimines ramas locales sin la aprobación explícita del usuario. Informa sobre cualquier lema no probado junto con sus objetivos de prueba pendientes.