forall-mcp fonctionne-t-il ?

Oui. forall-mcp fonctionne. Argusic l'a installé et lancé sur une machine propre en 1 minute, en rencontrant 0 erreur en route, et a enregistré la session.

Comment Argusic a-t-il testé forall-mcp ?

Sur une machine vierge et jetable, avec chaque commande enregistrée et le dépôt épinglé au commit 804ec8000347. Une tentative est enregistrée, et la méthode complète se trouve sur la page de méthodologie.

Combien a coûté le test de forall-mcp ?

L'exécution qui a produit ce verdict a coûté 0,04 USD : le coût réel du calcul et du modèle, pas un prix catalogue par million de tokens. Il est enregistré sur la page de cette exécution.

Combien de temps faut-il pour installer forall-mcp ?

0,5 minute lors de l'exécution qui a décidé ce verdict, d'une machine propre à un état de fonctionnement. Il s'agit d'une tentative mesurée, pas d'une moyenne.

forall-mcp a-t-il besoin d'un GPU ?

Pas pour démarrer. Argusic a atteint un état de fonctionnement sur une machine sans GPU.

Qu'est-ce qui pose problème lors de l'installation de forall-mcp ?

Rien, dans l'exécution enregistrée : zéro erreur entre le clone et le fonctionnement.

Où sont les preuves pour forall-mcp ?

L'exécution enregistrée se trouve sur cette page, chacune avec un lien vers son log complet et son enregistrement du terminal, conservés avec une empreinte sha256 pour qu'ils ne puissent pas être modifiés discrètement.

Original en anglais: https://argusic.com/subject/forall-mcp

forall-mcp

Forall (∀) est un harness de codage d'Astrio qui aide les développeurs à build des logiciels corrects en générant du code piloté par les spécifications accompagné de preuves vérifiables par machine.

Fonctionnesource : GitHubRustApache-2.0commit 804ec8000347

Rust, sous licence Apache-2.0. Le projet se décrit ainsi : agent framework, agent orchestration, java, rust et typescript.

forall-mcp fonctionne. Un agent Argusic l'a installé en 0,5 minute et n'a rencontré aucune erreur sur une machine propre sans GPU, et toute la session a été enregistrée.

Rust workspace builds with cargo, all 44 unit/integration tests pass, and the npm MCP bridge correctly proxies MCP tool requests between stdio and Streamable HTTP.
Ce que l'agent a obtenu sur une machine propre, dans ses propres mots. Comment c'est mesuré

Mesuré par Argusic sur une machine vierge, à chaque fois. Chaque chiffre renvoie à ses preuves. Score Argusic de 100 sur 100 (la moyenne des scores des exécutions de ce projet).

En un coup d'œil

verdict: Fonctionne
Score Argusic: 100 / 100
coût de l'exécution de vérification: 0,04 USD (mesuré)
exécutions enregistrées: 1
dernier test: 2026-10-17
étoiles: 561
forks: 32
issues ouvertes: 18
observateurs: 4
taille: 3 MB
créé le: 2025-07-18
dernier push: 2026-10-29

Données du projet issues de GitHub, avec un lien en haut de cette page, mis à jour le 2026-11-04. Données de test d'Argusic (CC BY 4.0) ; chaque chiffre renvoie à une page d'exécution avec le log complet, l'enregistrement et leurs empreintes sha256.

Ce qui a été mesuré

Tiré de l'exécution qui a décidé ce verdict. Chaque ligne est une valeur enregistrée, pas une estimation.

Temps d'installation: moins d'une minute
De la machine vierge à la fin: 5 minutes
Erreurs rencontrées et corrigées: 0 rencontrée, 0 corrigée sans aide humaine
Comment le résultat a été prouvé: cargo test: 44 passed (28+12+1+3+0+0); npm @astrio/forall-mcp mocked end-to-end: bridge proxied tools/list and returned correct tool definitions
Tokens de modèle utilisés: 101 060
Commit exact testé: 804ec8000347
Image de conteneur: sha256:cdd920bce783

Ce qui n'a pas été mesuré

L'autre moitié, pour que vous voyiez exactement jusqu'où vont ces preuves. Une lacune est affichée comme une lacune et n'est jamais comblée.

Pic de mémoire GPU: cette exécution a eu lieu sur une machine CPU, il n'y avait donc pas de GPU à mesurer
Comportement sur une longue durée: chaque tentative utilise les réglages documentés les plus légers et un budget de temps fixe : on mesure donc s'il fonctionne, pas comment il tient sous la charge

La fin de l'enregistrement

Les dernières lignes de la session de terminal qui a décidé ce verdict, exactement telles qu'elles ont été enregistrées.

Here's my final assessment:
**Rust workspace** — cargo build and cargo test both succeed cleanly.
```
test result: ok. 28 passed (forall-authoring)
test result: ok. 12 passed (forall-hosted-verify)
test result: ok. 1 passed  (standalone_flow integration test)
test result: ok. 3 passed  (wire_conformance tests)
test result: ok. 0 passed (forall-wire unit tests — no tests in that crate)
test result: ok. 0 passed (forall-wire doc-tests)
```
**npm MCP bridge** — `@astrio/forall-mcp` installs, syntax-checks OK, module imports cleanly, and t…
**No errors encountered** during install, build, test, or verification.

Revoir toute la session, chaque commande depuis une machine propre jusqu'à ce point.

Comment le test a été mené

Un agent, un conteneur, aucune aide humaine. Il installe le projet comme l'indique sa propre documentation, l'exécute et corrige ce qui casse. Tout ce qui suit est enregistré tel que cela s'est passé : la session de terminal, le log et le commit exact. La méthode complète.

Points forts et limites

Des faits mesurés, pas des opinions. Comment ce site est rédigé.

Ce qui s'est bien passé

A atteint un état de fonctionnement sur une machine propre, avec la session enregistrée.
Installé en 0,5 minute, plus vite que la médiane des 61 projets comparables mesurés par Argusic.
Rien n'a cassé en route : zéro erreur entre le clone et le fonctionnement.
A fonctionné sans GPU, il n'en a donc pas besoin pour démarrer.
Sous licence Apache-2.0, selon son hébergeur.

Ce qui ne s'est pas bien passé, ou n'est pas connu

Mesuré une seule fois jusqu'ici. Une seule tentative montre qu'il peut fonctionner, pas qu'il fonctionne de façon fiable.

Sur les 62 projets agent-framework qu'Argusic a installés et chronométrés, forall-mcp a été le 8e plus rapide à atteindre un état de fonctionnement, et 48 sur 62 en ont atteint un.

Pour quoi c'est un choix raisonnable

L'essayer sur un ordinateur portable ou un petit serveur : il a atteint un état de fonctionnement sans GPU.
Une évaluation rapide : il fonctionnait 0,5 minute après le clone.
Suivre son propre README : la procédure documentée a fonctionné sans rien à corriger.

Également testés, dans le même domaine

Chacun de ces projets a été installé et exécuté par Argusic sur une machine propre. Rien n'apparaît ici sans avoir été testé.

Historique des exécutions

testé par	tentative	résultat	score	coût USD	date
Argusic Runner	1/3	Fonctionne	100,00	0,04	2026-10-17 22:31 UTC

Sujets (depuis GitHub)

agent-framework agent-orchestration c java rust typescript

Intégrer le badge

Markdown pour le README du projet. Il renvoie vers cette page ; conditions sur la page des conditions.

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

Questions

forall-mcp fonctionne-t-il ?: Oui. forall-mcp fonctionne. Argusic l'a installé et lancé sur une machine propre en 1 minute, en rencontrant 0 erreur en route, et a enregistré la session.
Comment Argusic a-t-il testé forall-mcp ?: Sur une machine vierge et jetable, avec chaque commande enregistrée et le dépôt épinglé au commit 804ec8000347. Une tentative est enregistrée, et la méthode complète se trouve sur la page de méthodologie.
Combien a coûté le test de forall-mcp ?: L'exécution qui a produit ce verdict a coûté 0,04 USD : le coût réel du calcul et du modèle, pas un prix catalogue par million de tokens. Il est enregistré sur la page de cette exécution.
Combien de temps faut-il pour installer forall-mcp ?: 0,5 minute lors de l'exécution qui a décidé ce verdict, d'une machine propre à un état de fonctionnement. Il s'agit d'une tentative mesurée, pas d'une moyenne.
forall-mcp a-t-il besoin d'un GPU ?: Pas pour démarrer. Argusic a atteint un état de fonctionnement sur une machine sans GPU.
Qu'est-ce qui pose problème lors de l'installation de forall-mcp ?: Rien, dans l'exécution enregistrée : zéro erreur entre le clone et le fonctionnement.
Comment forall-mcp se compare-t-il aux alternatives ?: Sur les 62 projets agent-framework qu'Argusic a installés et chronométrés, forall-mcp a été le 8e plus rapide à atteindre un état de fonctionnement, et 48 sur 62 en ont atteint un.
Où sont les preuves pour forall-mcp ?: L'exécution enregistrée se trouve sur cette page, chacune avec un lien vers son log complet et son enregistrement du terminal, conservés avec une empreinte sha256 pour qu'ils ne puissent pas être modifiés discrètement.