discover-systems-theory

SKILLWorkflowcommunauté
v0.0.0randMITMis à jour il y a 5 moisSource →

Automatically discover eBPF, compiler, programming language theory, information retrieval, and formal verification skills when working with kernel tracing, parsers, type systems, Z3, Lean, or theorem proving

Community-submitted skill. Not yet reviewed by the Forge team. Full prompt content may not be available.Request review →
126Étoiles du dépôt
1Clients
1Formats
il y a 5 moisDernière mise à jour
Skill
Auteurrand
Version0.0.0
LicenceMIT
CatégorieWorkflow
Formatsskill.md
PromptNon publié
Compatibilité
Claude✓ Pris en charge
Cursor—
Copilot—
ChatGPT—
Gemini—
À propos

Automatically discover eBPF, compiler, programming language theory, information retrieval, and formal verification skills when working with kernel tracing, parsers, type systems, Z3, Lean, or theorem proving

Mots-clés
skillclaude