BellaBe

Use when stakeholders disagree, requirements conflict, or ownership/assumptions are unclear.

Use when identifying non-negotiables, limits, requirements, or guardrails.

Use when the user needs to choose, prioritize, or make a go/no-go decision among options.

Use when the user asks to describe, summarize, analyze, compare, explain, or report on something (text, data, events, systems) without asking for reco...

Use when the user asks why something happened, what’s wrong, root cause analysis, debugging, or incident explanation.

Use when the user asks to assess quality, readiness, compliance, or whether something meets a bar or criteria.

Use when the user asks for a roadmap, timeline, phased plan, or execution sequence.

Use when the user asks for recommendations, next steps, best approaches, or “what should I do” guidance to achieve a goal or fix a problem.

Use when the user needs a repeatable SOP, runbook, checklist, or playbook.

Use when the user asks about risks, threats, failure modes, or mitigations.

Use when the user asks how to verify success, define acceptance criteria, or prove something worked.

Use when stakeholders disagree, requirements conflict, or ownership/assumptions are unclear.

Apply standardization contracts to generated code. Injects middleware forauthentication, validation, error handling, and observability. Uses naturaltr...

Formalize domain as a category. Defines objects, morphisms, composition,identity, and laws from spec artifacts. Use when: building categorystructure, ...

Build the effect algebra (monad stack). Formalizes unit, bind, and monadlaws for the application's effect system. Use when: formalizing effecthandling...

Define functors from domain to target categories. Uses targets.yaml todetermine which functors to create. Maps domain objects and morphismsto target r...

Define natural transformations for cross-cutting concerns. Mapsstandardization config to categorical transformations (middleware,decorators). Use when...

Use when identifying non-negotiables, limits, requirements, or guardrails.

Use when the user needs to choose, prioritize, or make a go/no-go decision among options.

Use when the user asks to describe, summarize, analyze, compare, explain, or report on something (text, data, events, systems) without asking for reco...

Use when the user asks why something happened, what’s wrong, root cause analysis, debugging, or incident explanation.

Apply standardization contracts to generated code. Injects middleware forauthentication, validation, error handling, and observability. Uses naturaltr...

Formalize domain as a category. Defines objects, morphisms, composition,identity, and laws from spec artifacts. Use when: building categorystructure, ...

Build the effect algebra (monad stack). Formalizes unit, bind, and monadlaws for the application's effect system. Use when: formalizing effecthandling...

Define functors from domain to target categories. Uses targets.yaml todetermine which functors to create. Maps domain objects and morphismsto target r...

Define natural transformations for cross-cutting concerns. Mapsstandardization config to categorical transformations (middleware,decorators). Use when...

Manifest schema definitions for all LeanOS artifacts. Reference skill forvalidating manifest structure, understanding artifact formats, checkingcross-...

Target configuration for code generation. Defines deployment choices:API style, persistence, events, topology, language, standardization.Use when: sta...

Connect frontend pages to backend APIs. Adds data fetching, loading states, error handling to existing pages. Use after backend APIs are ready.

Build pages from product specs using Untitled UI components and design system. Main frontend implementation - maps wireframes to code, uses free compo...

Setup Untitled UI theme for Next.js project. One-time initialization - installs Untitled UI, configures Tailwind, downloads resources. Use when starti...

Generate actual source code from verified code maps. This skill only runsAFTER verify-maps passes. Code is generated mechanically from maps, ensuringc...

Generate code maps - lightweight specifications of what code will look like.Code maps can be verified BEFORE generating actual code, catching type mis...

Generate morphism implementations from build artifacts. Creates domain operationsusing App monad, API handlers (via F_api), and compositions. All effe...

Generate type definitions from build artifacts. Creates effects module FIRST(Result, App monad, errors), then domain types, API schemas, storage model...

Generate application wiring: entry points, dependency injection, infrastructureconfiguration. Creates main.py, container, Dockerfile, docker-compose.y...

Define constraints, invariants, and laws for the system. Creates proofobligations for formal verification. Use when: specifying business rules,definin...

Define effect types used by morphisms. Creates the effect algebra includingIO, error types, state, and reader effects. Use when: defining error types,...

Extract operations from requirements as categorical morphisms. Identifiesdomain, codomain, effects, and whether morphisms are generators or derivedfro...

Extract type definitions from requirements. Identifies primitives, products (×),coproducts (+), and refined types as categorical objects. Use when: st...

Verify business constraints and invariants from spec. Generates proofsfor proof_obligation constraints and plans runtime checks for others.Use when: v...

Verify 100% coverage from spec through build to gen. Traces every specitem to generated code. Use when: validating completeness, finding gaps,ensuring...

Generate and verify proofs for categorical laws. Produces Lean 4 filesfor category, monad, functor, and transformation laws. Use when: provinglaws, ve...

Verify code maps against type definitions. Catches type mismatches, wrongarguments, and missing imports BEFORE generating actual code. This is thefast...

Use when the user asks to assess quality, readiness, compliance, or whether something meets a bar or criteria.

Manifest schema definitions for all LeanOS artifacts. Reference skill forvalidating manifest structure, understanding artifact formats, checkingcross-...

Target configuration for code generation. Defines deployment choices:API style, persistence, events, topology, language, standardization.Use when: sta...

Business model design and financial planning. Use when designing revenue models, pricing, or calculating unit economics.

Fundraising strategy and investor relations. Use when raising capital, preparing pitch materials, or targeting investors.

Generate or update go-to-market strategy. Use when defining GTM motion, selecting channels, or planning launch.

Extract Canvas segments and generate operational ICP definition with observable filters, qualification questions, and prospecting tool mappings for B2...

Market analysis and competitive intelligence for startups. Use when analyzing market opportunities, sizing TAM, profiling segments, or mapping competi...

Problem validation and solution design. Use when discovering customer problems, generating solution hypotheses, or defining MVP scope.

Compliance and regulatory navigation for regulated industries. Use when identifying compliance requirements or assessing regulatory risks.

Post-PMF retention and monetization optimization. Use when analyzing cohort retention, predicting churn, or designing engagement loops.

Hypothesis validation and experiment design. Use when mapping assumptions, designing experiments, or testing MVPs.

Value articulation and positioning. Use when crafting UVP, developing messaging, or establishing differentiation.

Connect frontend pages to backend APIs. Adds data fetching, loading states, error handling to existing pages. Use after backend APIs are ready.

Build pages from product specs using Untitled UI components and design system. Main frontend implementation - maps wireframes to code, uses free compo...

Setup Untitled UI theme for Next.js project. One-time initialization - installs Untitled UI, configures Tailwind, downloads resources. Use when starti...

Generate actual source code from verified code maps. This skill only runsAFTER verify-maps passes. Code is generated mechanically from maps, ensuringc...

Generate code maps - lightweight specifications of what code will look like.Code maps can be verified BEFORE generating actual code, catching type mis...

Generate morphism implementations from build artifacts. Creates domain operationsusing App monad, API handlers (via F_api), and compositions. All effe...

Generate type definitions from build artifacts. Creates effects module FIRST(Result, App monad, errors), then domain types, API schemas, storage model...

Generate application wiring: entry points, dependency injection, infrastructureconfiguration. Creates main.py, container, Dockerfile, docker-compose.y...

Transform objectives into structured goals with plans. Use when user declares intent ("I want to...", "Goal is to...", "Achieve X by Y"). Decomposes i...

Track goal progress, derive state from execution, identify gaps, trigger actions. Use for goal status checks, progress reviews, and operational goal m...

Extract Canvas segments and generate operational ICP definition with observable filters, qualification questions, and prospecting tool mappings for B2...

Conduct venture-focused market research analyzing TAM, growth rates, competitive landscape, scalability potential, and 10x market opportunities for ve...

Optimize acquisition channels based on GTM motion. Use when improving app store listing, LinkedIn profile, SEO, or any active channel. Reads 15.go-to-...

Publish content and track performance based on GTM motion. Use when content approved for publishing, tracking performance, or amplifying engagement.

Generate content drafts adapted to GTM motion. Use when creating blog posts, case studies, social posts, sales collateral, or app store copy. Requires...

Motion-aware content discovery and opportunity detection. Use when: searching for content opportunities, detecting campaign triggers, finding engageme...

Generate brand identity and content patterns. Use when: setting up marketing for a product/personal brand, creating content patterns, or updating bran...

Use when the user asks for a roadmap, timeline, phased plan, or execution sequence.

Use when the user asks for recommendations, next steps, best approaches, or “what should I do” guidance to achieve a goal or fix a problem.

Use when the user needs a repeatable SOP, runbook, checklist, or playbook.

Transform requirements into user journeys and flow diagrams. Use when designing user workflows, mapping customer journeys, or planning interaction seq...

Transform flows into visual specifications using atomic design. Use when creating wireframes, component specs, or UI architecture from user flows.

Prioritize features and tasks using DHM and LNO frameworks. Use when deciding what to build next, scoring initiatives, or managing daily work prioriti...

Transform Canvas strategy into product requirements and user stories. Use when translating business goals into features, creating user stories, or bui...

Create shaped specifications for engineering handoff. Use when preparing features for development, writing pitches, or defining fixed-time/variable-sc...

Generate and evaluate explanatory hypotheses from incomplete observations. Use when diagnosing anomalies, explaining unexpected outcomes, or inferring...

Transfer knowledge from source domains to novel target situations through structural mapping. Use when facing new markets, products, or situations whe...

Execute evidence-based decision-making through 6-stage causal flow. Use for known processes, operational execution, and decisions with clear cause-eff...

Evaluate alternative scenarios by simulating interventions on past decisions or hypothetical futures. Use when assessing decisions in hindsight, plann...

Synthesize competing positions through structured thesis-antithesis-synthesis process. Use when stakeholders disagree, trade-offs exist, or multiple v...

Extract patterns and generalizations from multiple observations. Use when detecting recurring themes, building predictive rules, or identifying system...

Conduct venture-focused market research analyzing TAM, growth rates, competitive landscape, scalability potential, and 10x market opportunities for ve...

Generate actionable playbooks from extracted insights. Use when transforming source insights into step-by-step operational guides.

Process expert sources (videos, podcasts, articles, books) into structured insights. Use when ingesting new knowledge sources for extraction and analy...

Use when the user asks about risks, threats, failure modes, or mitigations.

Identify decision-maker contacts at target companies using web research for LinkedIn queries, email patterns, and phone research methods based on ICP ...

Generate sales collateral (pitch deck, one-pager, call scripts, email templates) from Canvas, narrative, and ICP with problem-first ordering and stage...

Generate persona-specific sales narratives using Peter Kazanjy's founding sales methodology. Creates problem-solution-specifics narratives for economi...

Generate multi-touch outreach cadences with email, phone, and LinkedIn touchpoints following Pete Kazanjy's founding sales framework for systematic pr...

Research and identify target companies matching ICP observable characteristics using web search, score against ICP criteria, output prioritized prospe...

Generate discovery call prep materials, qualification checklists, and scoring frameworks to determine if a lead should be pursued based on problem fit...

Define constraints, invariants, and laws for the system. Creates proofobligations for formal verification. Use when: specifying business rules,definin...

Define effect types used by morphisms. Creates the effect algebra includingIO, error types, state, and reader effects. Use when: defining error types,...

Extract operations from requirements as categorical morphisms. Identifiesdomain, codomain, effects, and whether morphisms are generators or derivedfro...

Extract type definitions from requirements. Identifies primitives, products (×),coproducts (+), and refined types as categorical objects. Use when: st...

Use when the user asks how to verify success, define acceptance criteria, or prove something worked.

Verify business constraints and invariants from spec. Generates proofsfor proof_obligation constraints and plans runtime checks for others.Use when: v...

Verify 100% coverage from spec through build to gen. Traces every specitem to generated code. Use when: validating completeness, finding gaps,ensuring...

Generate and verify proofs for categorical laws. Produces Lean 4 filesfor category, monad, functor, and transformation laws. Use when: provinglaws, ve...

Verify code maps against type definitions. Catches type mismatches, wrongarguments, and missing imports BEFORE generating actual code. This is thefast...

Transform objectives into structured goals with plans. Use when user declares intent ("I want to...", "Goal is to...", "Achieve X by Y"). Decomposes i...

Conduct venture-focused market research analyzing TAM, growth rates, competitive landscape, scalability potential, and 10x market opportunities for ve...

Conduct venture-focused market research analyzing TAM, growth rates, competitive landscape, scalability potential, and 10x market opportunities for ve...

Generate sales collateral (pitch deck, one-pager, call scripts, email templates) from Canvas, narrative, and ICP with problem-first ordering and stage...