Topic: ai-software-team
269 skills in this topic.
-
llm-tuning-patterns
LLM Tuning Patterns
vibeeval/vibecosystem 458
-
loogle-search
Search Mathlib for lemmas by type signature pattern using Loogle.
vibeeval/vibecosystem 458
-
math-help
Guide to the math cognitive stack - what tools exist and when to use each
vibeeval/vibecosystem 458
-
recall-reasoning
Search past reasoning for relevant decisions and approaches
vibeeval/vibecosystem 458
-
modular-code
Modular Code Organization
vibeeval/vibecosystem 458
-
qlty-check
Code quality checks, formatting, and metrics via qlty CLI
vibeeval/vibecosystem 458
-
prove
Formal theorem proving with research, testing, and verification phases
vibeeval/vibecosystem 458
-
perplexity-search
AI-powered web search, research, and reasoning via Perplexity
vibeeval/vibecosystem 458
-
boundary-value-problems
Problem-solving strategies for boundary value problems in odes pdes
vibeeval/vibecosystem 458
-
notepad-system
Use this skill when context compression is imminent, when resuming a session, or when preserving critical decisions across long tasks. Provides a durable notepad that survives compaction and lets any agent pick up exactly where the previous context left off.
vibeeval/vibecosystem 458
-
first-order-odes
Problem-solving strategies for first order odes in odes pdes
vibeeval/vibecosystem 458
-
second-order-odes
Problem-solving strategies for second order odes in odes pdes
vibeeval/vibecosystem 458
-
no-polling-agents
No Polling for Background Agents
vibeeval/vibecosystem 458
-
nia-docs
Search library documentation and code examples via Nia
vibeeval/vibecosystem 458
-
sigma-algebras
Problem-solving strategies for sigma algebras in measure theory
vibeeval/vibecosystem 458
-
lebesgue-measure
Problem-solving strategies for lebesgue measure in measure theory
vibeeval/vibecosystem 458
-
integration-theory
Problem-solving strategies for integration theory in measure theory
vibeeval/vibecosystem 458
-
continuity
Problem-solving strategies for continuity in real analysis
vibeeval/vibecosystem 458
-
convergence
Problem-solving strategies for convergence in real analysis
vibeeval/vibecosystem 458
-
limits
Problem-solving strategies for limits in real analysis
vibeeval/vibecosystem 458
-
math-model-selector
Routes problems to appropriate mathematical frameworks using expert heuristics
vibeeval/vibecosystem 458
-
paywall-strategy
Mobil uygulama paywall strateji rehberi. 14 kategori benchmark database, 4 paywall modeli, trial optimizasyonu, placement mapping, pricing psychology, regional pricing (PPP) ve Apple/Google compliance checklist.
vibeeval/vibecosystem 458
-
project-guidelines-example
Example template for project-specific skill files covering architecture, patterns, testing, and deployment.
vibeeval/vibecosystem 458
-
residues
Problem-solving strategies for residues in complex analysis
vibeeval/vibecosystem 458