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é.
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.
De la conviction au compilateur.
Partis d’une conviction : livrer avec des preuves, pas des promesses. Début de la construction du noyau du 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.
Premières équipes en niveau pilote. Gates de niveau production, capacités à preuves et durcissement multi-passes en usage production.
Vers le niveau production. Ouverture de composants clés. Objectif : un monde où chaque release transporte des preuves.
Quatre principes qui guident tout ce que nous bâtissons.
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.
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.
Votre code, votre infra, vos modèles. Hors ligne d’abord, auto-hébergeable, BYOM. Des outils qui responsabilisent — pas qui enferment.
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.
Une petite équipe fondatrice focalisée : outils développeur, méthodes formelles et livraisons qui apportent des preuves.
Stratégie, partenariats et vision produit.
Plateforme, services et release engineering.
Runtime agent, orchestration et sécurité.
Surfaces IDE, documentation et onboarding.
Nous recrutons. Voir les offres
Écosystème
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 →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 GitHubQue vous vouliez construire avec Midcore ou aider à construire Midcore lui-même — il y a une place pour vous.