theorem-labs/oss-verify-proofs
Recurso
¿Es de fiar?
Conviene mirarlo con calma antes de usarlo.
Avisos Revisa
Muy nuevo: se creó hace 5 días. Espera un poco antes de instalarlo.
Estrellas de cuentas reales Sin datos
Todavía no hemos comprobado si sus estrellas son falsas.
Activo Bien
Último cambio hoy.
Licencia Bien
MIT: puedes usarlo gratis, también en un producto comercial. Conserva el aviso de licencia.
Comprobaciones rápidas con datos públicos. Ayudan, pero no son una garantía.
Qué es
Pruebas en Rocq que establecen que, para algunos fuzz targets de OSS-Fuzz compilados como binarios RISC-V, no existe ninguna entrada dentro de límites declarados que provoque un fallo en las compilaciones con sanitizadores. Las pruebas usan LPS, un modelo formal de un proceso de…
Para quién es
Investigadores en verificación formal y mantenedores de bibliotecas C y C++ que quieran resultados de fuzzing verificados por máquina
Cómo usarlo
Pide a tu IA que lo instale
Pega esto en Claude, ChatGPT o tu asistente de programación.
Ayúdame a instalar y configurar theorem-labs/oss-verify-proofs en mi proyecto. Sigue su README: https://github.com/theorem-labs/oss-verify-proofs. Explícame cada paso y comprueba que es seguro antes de ejecutar nada.
Curva de estrellas
Recibe alertas de repos como este
Te escribimos cuando repos como este empiecen a subir. Gratis, una vez por semana, solo lo que encaja.
21.413 repos de GitHub vigilados y ordenados cada hora. Cifras a 27 de octubre de 2026.
Qué te llega: un email los lunes con los repos que encajan, nunca más. Mira el de la semana pasada. Privacidad
Para quien mantiene el repo
Pon esta insignia en tu README. Muestra el puesto del repo en el radar, se actualiza cada hora y enlaza a esta página.
[](https://repoalerts.com/repo/theorem-labs/oss-verify-proofs?ref=badge)Repos parecidos
- typetheoryforall/FVjobs
Un tablero de ofertas de empleo curado que recoge puestos de verificación formal en asistentes de demostración, razonamiento automático, compilación verificada y verificación hardware. Cada entrada in
- V4bel/InfinityCore
Una colección de análisis técnicos que describe seis vulnerabilidades del núcleo de Linux en los subsistemas de temporizadores, señales, gestión de memoria, futex, planificador y SLAB, con las version
- Wholiver/metis-reverse
Un servidor MCP que permite a los agentes de programación con IA hacer ingeniería inversa de binarios sin símbolos y reconstruir su código fuente en C, compilarlo con clang o gcc y ejecutar pruebas di
- lassejlv/pi-rs
Un port en Rust del arnés de agente de programación minimalista y extensible pi, que genera un único binario nativo pi con la misma CLI, interfaz de terminal, formatos en disco, protocolo RPC y API de
- code-zm/plex2shell
Cadena de explotación de prueba de concepto para cuatro CVE en Plex Media Server hasta la versión 1.43.3.10828. Combina un SSRF sin autenticación, un salto a loopback y ejecución de código mediante la
- nuglifeleoji/Sentry
Una capa externa de gestión de fallos en tiempo de ejecución para agentes basados en LLM. Detecta acciones no válidas y fallos de comportamiento, como bucles o desvíos de la tarea, guía la recuperació