discover-systems-theory

SKILLFlujo de trabajocomunidad
v0.0.0randMITActualizado hace 5 mFuente →

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 →
126Estrellas del repo
1Clientes
1Formatos
hace 5 mÚltima actualización
Skill
Autorrand
Versión0.0.0
LicenciaMIT
CategoríaFlujo de trabajo
Formatosskill.md
PromptNo publicado
Compatibilidad
Claude✓ Compatible
Cursor—
Copilot—
ChatGPT—
Gemini—
Acerca de

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

Palabras clave
skillclaude