OpenProse présente un langage de « contrats Markdown » exécutables par les agents d’IA
La plateforme OpenProse, actuellement en accès anticipé, propose un nouveau type de langage de programmation fondé sur des fichiers Markdown. Destiné aux agents d’IA, il permet de définir des contrats formels de type « requiert/garantit » que les modèles de langage peuvent exécuter, vérifier et maintenir.
Amp
Claude Code
Codex
Forme
GitHub
MIT
OpenCode
OpenProse
Prose Complete
Évolution chronologique
-
OpenProse présente un langage de « contrats Markdown » exécutables par les agents d’IA
OpenProse lance un langage de programmation où les programmes sont des fichiers Markdown dotés de contrats formels. Les modèles d’IA exécutent ces contrats. La plateforme, disponib...