Skip to main content

manutej/categorical-meta-prompting

SkillsMP hat 23 Skills aus manutej/categorical-meta-prompting gesammelt. Öffne einen Skill, um Quelle und Details zu prüfen.

Letzte erfasste Quellaktivität
SkillsMP-Katalog aktualisiert
gesammelte Skills
23
GitHub-Stars
6
GitHub-Forks
1

Es werden 23 von 23 gesammelten Skills angezeigt.

Beruf
Softwareentwickler
Beschreibung

Composable atomic blocks for categorical meta-prompting. Defines 16 reusable blocks across 4 layers (Assessment, Transformation, Refinement, Composition) that can be composed to build custom workflows. Enables progressive disclosure: simple commands work…

Quellsprache: Englisch

Aktualisiert
Beruf
Softwareentwickler
Beschreibung

Master reference for categorical meta-prompting unified syntax. Contains all modifiers, operators, composition patterns, and execution protocols. Use this skill for self-reference when executing any prompt workflow, ensuring consistent syntax across all…

Quellsprache: Englisch

Aktualisiert
Beruf
Informatik- und Informationsforschungswissenschaftler
Beschreibung

Dynamic prompt registry with unified categorical syntax. Supports @skills:discover(), @skills:compose(A⊗B), Reader monad for runtime lookup, and quality-tracked prompt libraries. Use for meta-prompts referencing sub-prompts, building prompt libraries,…

Quellsprache: Englisch

Aktualisiert
Beruf
Informatik- und Informationsforschungswissenschaftler
Beschreibung

Universal template for implementing categorical structures in meta-prompting frameworks. Applies to functors, monads, comonads, natural transformations, adjunctions, hom-equivalences, limits, colimits, and enriched categories. Use when extending frameworks…

Quellsprache: Englisch

Aktualisiert
Beruf
Informatik- und Informationsforschungswissenschaftler
Beschreibung

Recursive Meta-Prompting (RMP) implementation with unified categorical syntax. Supports @mode:iterative, @quality: thresholds, >=> Kleisli composition, and comonadic context extraction. Use when implementing iterative prompt improvement, quality-gated…

Quellsprache: Englisch

Aktualisiert
Beruf
Informatik- und Informationsforschungswissenschaftler
Beschreibung

Full categorical framework for meta-prompting with verified laws. Use when implementing functor-based task routing, monadic iterative refinement, comonadic context extraction, or quality-tracked composition. Integrates F (Functor), M (Monad), W (Comonad), and…

Quellsprache: Englisch

Aktualisiert
Beruf
Informatik- und Informationsforschungswissenschaftler
Beschreibung

Systematic analysis patterns for categorical AI papers (Gavranović, de Wynter, Bradley, Zhang). Use when analyzing academic papers on categorical deep learning, extracting categorical structures from AI research, mapping meta-prompting concepts to category…

Quellsprache: Englisch

Aktualisiert
Beruf
Softwarequalitätssicherungsanalysten und -tester
Beschreibung

Property-based testing for functor laws, monad laws, and naturality conditions using fp-ts and fast-check. Use when validating categorical implementations in TypeScript, testing algebraic laws in functional code, verifying functor/monad/applicative instances,…

Quellsprache: Englisch

Aktualisiert
Beruf
Informatik- und Informationsforschungswissenschaftler
Beschreibung

CC2.0 seven-function research workflow (observe, reason, create, orchestrate, learn, verify, deploy) for categorical AI research. Use when conducting systematic research on categorical AI topics, coordinating multi-stream research workflows, applying…

Quellsprache: Englisch

Aktualisiert
Beruf
Datenwissenschaftler
Beschreibung

DisCoPy categorical quantum NLP for string diagrams, monoidal categories, and compositional semantics in Python. Use when implementing compositional distributional semantics, building string diagram computations, working with monoidal category theory in code,…

Quellsprache: Englisch

Aktualisiert
Beruf
Datenwissenschaftler
Beschreibung

DSPy compositional prompt optimization with categorical signatures, module chaining, and automated prompt tuning. Use when building declarative LLM programs with typed signatures, composing multi-step reasoning modules (ChainOfThought, ReAct,…

Quellsprache: Englisch

Aktualisiert
Beruf
Softwareentwickler
Beschreibung

@effect/ai integration patterns for categorical AI composition, typed error handling, and production prompt pipelines. Use when building AI applications with Effect-TS, composing LLM calls with typed errors, creating tool-augmented AI systems, implementing…

Quellsprache: Englisch

Aktualisiert
Beruf
Softwareentwickler
Beschreibung

Guidance library grammar-constrained generation with categorical structure. Use when implementing structured LLM outputs with grammar constraints, building template-based generation with guaranteed formats, creating type-safe prompt templates with interleaved…

Quellsprache: Englisch

Aktualisiert
Beruf
Datenwissenschaftler
Beschreibung

Hasktorch type-safe tensor operations with categorical structure preservation. Use when implementing type-safe deep learning in Haskell, leveraging dependent types for tensor shape verification, applying categorical abstractions to neural network design, or…

Quellsprache: Englisch

Aktualisiert
Beruf
Softwareentwickler
Beschreibung

LangGraph stateful multi-agent graphs with categorical coordination patterns and cyclic workflows. Use when building stateful AI agent systems, implementing multi-agent orchestration with conditional routing, creating cyclic workflows with persistence, or…

Quellsprache: Englisch

Aktualisiert
Beruf
Softwareentwickler
Beschreibung

LLM4S Scala functional LLM interfaces with Effect system integration. Use when building LLM applications in Scala with ZIO or Cats Effect, implementing type-safe AI pipelines with functional error handling, creating composable prompt systems in Scala, or…

Quellsprache: Englisch

Aktualisiert
Beruf
Informatik- und Informationsforschungswissenschaftler
Beschreibung

LMQL constraint-guided generation DSL for type-safe prompting with grammar constraints and logical conditions. Use when building structured LLM outputs with guaranteed format compliance, implementing constrained decoding with logical operators, creating…

Quellsprache: Englisch

Aktualisiert
Beruf
Softwareentwickler
Beschreibung

MCP (Model Context Protocol) server patterns with categorical tool composition and typed context protocols. Use when building MCP servers with categorical composition patterns, designing tool interfaces using functors and natural transformations, implementing…

Quellsprache: Englisch

Aktualisiert
Beruf
Informatik- und Informationsforschungswissenschaftler
Beschreibung

Spivak-Niu polynomial functor implementations for learner composition and dynamical systems. Use when modeling learning systems as categorical structures, composing machine learning components with polynomial functors, implementing the categorical framework…

Quellsprache: Englisch

Aktualisiert
Beruf
Datenwissenschaftler
Beschreibung

Systematic prompt evaluation framework with MATH, GSM8K, and Game of 24 benchmarks. Use when evaluating prompt effectiveness on standard benchmarks, comparing meta-prompting strategies quantitatively, measuring prompt quality improvements, or validating…

Quellsprache: Englisch

Aktualisiert
Beruf
Informatik- und Informationsforschungswissenschaftler
Beschreibung

Domain-specific language for categorical prompt composition with functor combinators and natural transformation operators. Use when building composable prompt templates, implementing typed prompt algebras, creating reusable prompt patterns with categorical…

Quellsprache: Englisch

Aktualisiert
Beruf
Datenwissenschaftler
Beschreibung

[0,1]-enriched category implementation for gradient-based prompt quality optimization. Use when implementing quality-aware prompt systems, building enriched categorical structures for prompt evaluation, creating continuous optimization over prompt spaces, or…

Quellsprache: Englisch

Aktualisiert
Beruf
Softwareentwickler
Beschreibung

VoltAgent multi-agent system design with natural transformation coordination between agents. Use when building TypeScript multi-agent AI systems, implementing agent coordination with categorical patterns, designing supervisor-worker agent hierarchies, or…

Quellsprache: Englisch

Aktualisiert
Es werden 23 von 23 gesammelten Skills angezeigt.