openmathmodel/open-math-harness
Agente
¿Es de fiar?
Conviene mirarlo con calma antes de usarlo.
Avisos Revisa
Muy nuevo: se creó hace 2 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
Apache-2.0: 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
Entorno de ejecución de código abierto en Rust para Open Math OS, con un micronúcleo basado en capacidades, agentes sobre modelos abiertos, búsqueda paralela de demostraciones y pruebas verificadas con Lean. Los agentes proponen y los matemáticos deciden. Algunos componentes…
Para quién es
Desarrolladores e investigadores que trabajan en herramientas de investigación matemática colaborativa, entornos de ejecución de agentes o búsqueda de demostraciones con Lean
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 openmathmodel/open-math-harness en mi proyecto. Sigue su README: https://github.com/openmathmodel/open-math-harness. 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 algo de Agentes de IA empiece a subir. Gratis, una vez por semana, solo lo que encaja.
19.797 repos de GitHub vigilados y ordenados cada hora. Cifras a 24 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/openmathmodel/open-math-harness?ref=badge)Repos parecidos
- GCWing/OpenBitFun
Espacio de trabajo con agentes para escritorio, construido sobre un runtime de agentes escrito en Rust. Ofrece cuatro modos de arnés para planificar, llamar herramientas y coordinar agentes, permite c
- siglake/siglake
Plataforma de análisis de logs y trazas de código abierto que recoge datos de OpenTelemetry, los almacena como Parquet en tablas Apache Iceberg sobre almacenamiento de objetos y permite consultarlos c
- abcampbel/open-bots
Proyecto de código abierto en TypeScript con cuatro agentes de IA que buscan en la web, leen páginas, ejecutan código en un entorno aislado, llaman a APIs públicas, pagan servicios y se registran en s
- google-research/harness2
Un marco en Python para la optimización recursiva de harnesses de agentes, que refina los prompts, herramientas, memoria y orquestación que rodean a un modelo con pesos fijos. Ejecuta un bucle propose
- Graphicle-AI/graphicle
Herramienta de línea de comandos y servidor MCP escrita en Rust que construye un grafo de código de un repositorio con tree-sitter, guarda documentación, decisiones revisadas y sesiones pasadas de age
- OpenSparX/MasterAgent
Un entorno de ejecución de agentes en C++17 que primero busca habilidades de frase exacta y solo después llama a un modelo, y que valida nombres y argumentos de herramientas antes de ejecutarlas. Pued