discover-systems-theory

SKILLWorkflowcommunity
v0.0.0randMITUpdated 5mo agoSource →

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 →
126Repo stars
1Clients
1Formats
5mo agoLast update
Skill
Authorrand
Version0.0.0
LicenseMIT
CategoryWorkflow
Formatsskill.md
PromptNot published
Compatibility
Claude✓ Supported
Cursor—
Copilot—
ChatGPT—
Gemini—
About

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

Keywords
skillclaude