manutej
Community@manutej · Austin, TX
Out-of-the-box Data Scientist who is willing to tackle difficult problems by using the right balance of creativity, inspiration, and teamwork.
Agent Skills by manutej
Showing 109 vetted skills indexed across 6 GitHub repositories.
manutejMeta-Prompt Iterate
Automate multi-step meta-prompt iteration to refine LLM outputs.
manutejextract-context
Analyze LLM outputs to extract structured context in XML/JSON.
manutejassess-quality
Score LLM outputs against a rubric and output an XML verdict.
manutejfstar-verification
Prove software correctness with F* using dependent types and SMT-based verification.
manutejelm-development
Enforces TEA architecture and strong typing for Elm front-ends with JavaScript interop support.
manutejcc2-learn
Run observe-reason-create-verify-deploy-learn cycles to improve future behavior.
manutejpurify
Model data and effects with Codecs, Maybe, Either, and EitherAsync in TypeScript.
manutejcc2-create
Transform strategic plans into executable artifacts with validation and traceability.
manutejF* Practical Development & Debugging
Debug F* verification failures and optimize proofs with SMT flags and SMTPat patterns.
manutejCC2.0 Meta-Orchestrator Skill
Orchestrate seven-function workflows for software development and DevOps.
manutejCC2.0 VERIFY Function Skill
Run parallel applicative-style verification checks to produce consolidated results.
manutejdiscopy-categorical-computing
Design and interpret string diagrams, quantum circuits, and tensor networks with category theory.
manutejCC2.0 OBSERVE Function Skill
Extract structured observations from system states using the OBSERVE comonad pattern.
manutejcategorical-property-testing
Automate property-based testing of fp-ts categorical laws in TypeScript.
manutejmcp-categorical
Compose type-safe MCP servers using category-theory patterns.
manutejguidance-grammars
Apply Guidance grammar primitives to produce structured, template-bound LLM outputs.
manutejlanggraph-orchestration
Orchestrate stateful multi-agent workflows with LangGraph graph patterns.
manutejeffect-ts-ai
Automate typed AI workflows with Effect-TS for OpenAI and Anthropic.
manutejvoltagent-multiagent
Design typed multi-agent systems in TypeScript using categorical patterns.
manutejcategorical-meta-prompting
Formalize meta-prompt pipelines with Functor, Monad, and Comonad constructs.
manutejcategorical-structure-builder
Encode categorical structures as reusable templates for meta-prompting systems.
manutejprompt-dsl
Build composable prompt pipelines with a category-theoretic DSL in Python.
manutejprompt-benchmark
Evaluate prompt strategies on MATH, GSM8K, and Game of 24 benchmarks.
manutejatomic-blocks
Compose prompt workflows from 16 atomic blocks across four layers.