Que fait Kitaev-Skill ?
Compétence Codex fondée sur des preuves pour des modèles minimaux et une protection structurelle.
Compétence Codex fondée sur des preuves pour des modèles minimaux et une protection structurelle.
Cette compétence pour Codex (ou des agents IA similaires comme Claude Code) permet de travailler avec des modèles minimaux et une protection structurelle, en s'appuyant sur des preuves solides. Elle est conçue pour les développeurs et chercheurs en informatique théorique ou en physique, offrant des outils pour générer, vérifier ou manipuler des modèles formels avec des garanties structurelles. Le SKILL.md décrit comment l'agent peut utiliser cette compétence pour interagir avec des bases de code ou des spécifications, en respectant des contraintes de minimalisme et de robustesse. Elle supporte principalement l'environnement Codex, mais peut être adaptée à d'autres plates-formes d'agents de codage.
npx skills add JunkaiWang-TheoPhy/Kitaev-SkillInstalled? Explore more Développement et programmation skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →
Compétence Codex fondée sur des preuves pour des modèles minimaux et une protection structurelle.
Send and manage iMessages via BlueBubbles, including attachments, tapbacks, edits, replies, and groups.
Control Eight Sleep pods (status, temperature, alarms, schedules).
BluOS CLI (blu) for discovery, playback, grouping, and volume.
Create, search, and manage Bear notes via grizzly CLI.
Capture frames or clips from RTSP/ONVIF cameras.
Search GIF providers with CLI/TUI, download results, and extract stills/sheets.