GITHUB TOPIC
1projects include this topic
The "typecheck" topic on GitHub groups 1 open-source project in the DeepSeek Harness (DSH) ecosystem, led by dsh-proof with 1 GitHub stars. dsh-proof — Le dsh-proof est un plugin qui vérifie automatiquement le code après chaque modification (types, qualité et tests) et oblige l’agent IA à corriger les erreurs avant de terminer son travail. Every project here is indexed by DSH Universe with live GitHub data — stars, activity and install status — so you can compare and install directly.
{count} projects
Exact GitHub Topic match
NetraDevLPDN
Le dsh-proof est un plugin qui vérifie automatiquement le code après chaque modification (types, qualité et tests) et oblige l’agent IA à corriger les erreurs avant de terminer son travail.