axiomcodegraph
Le README s’appuie sur ses affirmations de performance et de conception ; les détails d’installation, les langages pris en charge et la façon de lancer le serveur MCP ne figurent pas dans l’extrait.
Résumé écrit par une IA à partir de la description et du README du dépôt.
Mis à jour il y a 17 min
Pourquoi maintenant
La version v0.2.3 est sortie le 5 novembre.
+122 étoiles gagnées cette semaine
Étoiles gagnées chaque jour, sur 30 jours
Sur GitHub
Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure correctness, and optimize time and token usage.
La description écrite par ses auteurs sur GitHub.