TopRank Skills
EN
English 简体中文 français

Search

PythonReactSEOPDF

manutej AI Skills

GitHub ↗

Browse published AI skills maintained by manutej. Compare skill descriptions and follow each source repository for setup instructions.

Author statistics

Indexed skills

99

Repository stars across indexed skills

2,766

Repository forks

527

Average repository stars per indexed skill

28

Repository stars may repeat across skills from the same repository.

Popular categories

tools llm ai23devops llm ai23testing security llm ai23documentation llm ai23content media llm ai23research llm ai23

Recent indexing activity

terraform-infrastructure-as-code2026-01-21terraform-infrastructure2026-01-21aws-cloud-architecture2026-01-21aws-cloud-services2026-01-21sqlalchemy-orm-expert2026-01-21

99 skills

Browse skills

GitHub

elm-development

manutej

Comprehensive Elm functional programming for web development including The Elm Architecture, type system, JavaScript interop, and production-ready patterns

☆ 0View skill
GitHub

purify

manutej

Master the Purify library for practical functional programming in TypeScript with algebraic data types (Maybe, Either, EitherAsync, MaybeAsync), composable error handling, data transformations, Codec for runtim...

☆ 0View skill
GitHub

fstar-verification

manutej

Comprehensive F* proof-oriented programming for formal verification including dependent types, refinement types, effect system, SMT solver integration, tactic-based interactive theorem proving, and verified cod...

☆ 0View skill

The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.