Construire l’avenir de la
livraison logicielle
Midcore est développé par NeuroBazar — une équipe convaincue que chaque release doit apporter des preuves vérifiables par machine de sa correction, de sa sécurité et de son exhaustivité.
Notre mission
Un logiciel devrait s’accompagner de des preuves, pas des promesses. Chaque release doit apporter des preuves vérifiables par machine : capacités opérationnelles, contrats respectés, posture de sécurité réelle, conformité démontrée — pas seulement déclarée. Nous construisons les outils pour que cela devienne la norme, pas l’exception.
Notre histoire
De la conviction au compilateur.
Fondation de NeuroBazar
Partis d’une conviction : livrer avec des preuves, pas des promesses. Début de la construction du noyau du compilateur de résultats.
Compilateur de résultats
Graphes de capacités, gates déterministes, registre de preuves et une large couche d’autonomie IA — la plateforme prend forme.
Programme pilote
Premières équipes en niveau pilote. Gates de niveau production, capacités à preuves et durcissement multi-passes en usage production.
Communauté en croissance
Vers le niveau production. Ouverture de composants clés. Objectif : un monde où chaque release transporte des preuves.
Ce en quoi nous croyons
Quatre principes qui guident tout ce que nous bâtissons.
La justesse d’abord
Nous n’échangeons jamais la justesse contre la vitesse. Chaque changement s’appuie sur des preuves, une analyse d’impact et une vérification proportionnée au risque.
La preuve avant l’impression
Terminer, c’est « PASS les gates », pas une narration. La preuve, ce sont contrats, tests, résultats de gates et invariants explicites. « Ça a l’air bon » ne suffit pas.
Autonomie des développeurs
Votre code, votre infra, vos modèles. Hors ligne d’abord, auto-hébergeable, BYOM. Des outils qui responsabilisent — pas qui enferment.
Transparence radicale
Registres de preuves en append-only. Résultats de gates exploitables automatiquement. Pas de « hardening » caché. Sans preuve, une capacité part avec un escrow explicite — jamais silencieusement.
L’équipe
Une petite équipe fondatrice focalisée : outils développeur, méthodes formelles et livraisons qui apportent des preuves.
Direction
Stratégie, partenariats et vision produit.
Ingénierie
Plateforme, services et release engineering.
IA et autonomie
Runtime agent, orchestration et sécurité.
Expérience développeur
Surfaces IDE, documentation et onboarding.
Nous recrutons. Voir les offres
Écosystème
Partenaires qui livrent en transparence
Des suites cliniques canadiennes à la robotique de terrain en Arabie, chaque relation est un journal de bord lisible — pas un communiqué.
Parcourir les récits →Engagement open source
Les meilleurs outils développeur se construisent ouvertement. Des composants clés de Midcore sont open source sur GitHub — définitions de gates, schémas de contrats et outillage knowledge-engine. Les contributions sont les bienvenues.
Voir sur GitHubRejoignez-nous pour bâtir des logiciels à preuves intégrées
Que vous vouliez construire avec Midcore ou aider à construire Midcore lui-même — il y a une place pour vous.