discover-systems-theory

SKILLFlusso di lavorocommunity
v0.0.0randMITAggiornato 5 mesi faFonte →

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 →
126Stelle del repo
1Client
1Formati
5 mesi faUltimo aggiornamento
Skill
Autorerand
Versione0.0.0
LicenzaMIT
CategoriaFlusso di lavoro
Formatiskill.md
PromptNon pubblicato
Compatibilità
Claude✓ Supportato
Cursor—
Copilot—
ChatGPT—
Gemini—
Descrizione

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

Parole chiave
skillclaude