Original en inglés: https://argusic.com/subject/forall

forall

Forall (∀) es un harness de codificación de Astrio que ayuda a los desarrolladores a crear software correcto generando código basado en especificaciones junto con pruebas verificables por máquina.

Aún sin probarfuente: GitHubRustApache-2.0commit d42a7c5cec85

Rust, licencia Apache-2.0. El proyecto se describe a sí mismo como: agent framework, agent orchestration, java, rust y typescript.

forall aún no se ha verificado.

Medido por Argusic en una máquina limpia cada vez. Cada cifra enlaza a su evidencia.

De un vistazo

veredicto
Aún sin probar
Puntuación Argusic
aún sin puntuación
ejecuciones registradas
0
última prueba
-
estrellas
578
forks
33
issues abiertos
17
observadores
4
tamaño
3 MB
creado
último push

Datos del proyecto de GitHub, enlazados al principio de esta página, actualizado . Datos de prueba de Argusic (CC BY 4.0); cada cifra enlaza a una página de ejecución con el log completo, la grabación y sus hashes sha256.

También probados, en la misma área

Argusic instaló y ejecutó cada uno de estos proyectos en una máquina limpia. Aquí no aparece nada que no se haya probado.

  • omnigent verificados que funcionan · Python · 2 temas en común
  • CORAL verificados que funcionan · Python · 2 temas en común
  • semantix verificados que funcionan · Go · 2 temas en común
  • forall-mcp verificados que funcionan · Rust · 2 temas en común
  • AI-company verificados que funcionan · Python · 2 temas en común
  • skills-constitution verificados que funcionan · Python · 2 temas en común

Historial de ejecuciones

No hay ejecuciones registradas.

Temas (de GitHub)

agent-frameworkagent-orchestrationcjavarusttypescript

Insertar el badge

Markdown para el README del proyecto. Enlaza de vuelta aquí; condiciones en la página de términos.

[![Tested by Argusic](https://argusic.com/badge/forall.svg)](https://argusic.com/subject/forall)

Preguntas

¿Funciona forall?
forall aún no se ha verificado por completo. Ninguna ejecución registrada ha producido todavía un veredicto.
¿Cómo probó Argusic forall?
En una máquina limpia y desechable, con cada comando grabado. Hay 0 intentos registrados, y la metodología completa está en la página de metodología.
¿Dónde está la evidencia de forall?
Las 0 ejecuciones registradas están en esta página, cada una enlazada a su log completo y a su grabación de terminal, guardados con una huella sha256 para que no se puedan alterar en silencio.

Discussion