Skip to main content
Execute qualquer Skill no Manus
com um clique
CodingThrust
Perfil de criador do GitHub

CodingThrust

Visão por repositório de 34 skills coletadas em 4 repositórios do GitHub.

skills coletadas
34
repositórios
4
atualizado
2026-07-20
explorador de repositórios

Repositórios e skills representativas

auto-pipeline
Desenvolvedores de software

Use when you want to take a Backlog issue all the way to Final review without manual orchestration — chains check-issue, fix-issue, add-model/add-rule, run-pipeline, and review-pipeline; substantive issue-quality problems are sent to a rewrite subagent; algorithmically unsalvageable issues are parked on OnHold

2026-06-04
check-issue
Analistas de garantia de qualidade de software e testadores

Use when reviewing a [Rule] or [Model] GitHub issue for quality before implementation — checks usefulness, non-triviality, correctness of literature claims, and writing quality

2026-06-04
propose
Cientistas de pesquisa em computação e informaçãoDesenvolvedores de software

Use when a user wants to propose a new problem model or reduction rule — guides them through brainstorming, clarifies the design, and files a GitHub issue

2026-04-26
review-paper
Editores

Review the Typst paper (docs/paper/reductions.typ) for quality issues — evaluates 10 entries per session, reports mechanical and critical issues without fixing

2026-04-17
find-problem
Desenvolvedores de software

Reverse of find-solver — given a solver for a model, discover what other problems it can handle via incoming reductions, ranked by effective complexity

2026-04-11
find-solver
Desenvolvedores de software

Interactive guide — match a real-world problem to a library model, explore reduction paths, recommend solvers (built-in + external), and generate a solution doc

2026-04-11
update-papers
Professores de ciência da computação, pós-secundário

Update the research paper collection — download new papers from references.bib, retry failed downloads, sync to Google Drive, and regenerate index.md

2026-04-10
add-model
Cientistas de pesquisa em computação e informação

Use when adding a new problem model to the codebase, either from an issue or interactively

2026-04-07
Mostrando as 8 principais de 23 skills coletadas neste repositório.
fix-pr
Desenvolvedores de software

Use when a pull request on the current branch has review comments, failing CI checks, or coverage gaps to address — guides a triaged cleanup pass that fixes feedback in priority order without bundling unrelated changes.

2026-05-22
issue-to-pr
Desenvolvedores de software

Use when you have a GitHub issue and want to open a PR carrying an implementation plan — guides fetching the issue, brainstorming an approach with the user, writing a plan file, and pushing a plan-only PR ready for implementation (manual or automated).

2026-05-22
repo-hygiene-audit
Analistas de garantia de qualidade de software e testadores

Use when auditing a software repository for beginner-level best-practice violations, repo health, Git history hygiene, issue and PR usage, branch discipline, tests, docs, coding style, CI, security basics, or maintainability signals.

2026-05-22
report-writing
Desenvolvedores de software

Use when setting up or writing a research documentation/report site — scaffolds a fresh site (Makefile, build script, GitHub Pages workflow, HTML templates) or refreshes templates in an existing setup. Output is a single-page index with download cards, rendered markdown prose, and PDF viewers, all sharing the same neutral-academic stylesheet (ink + terracotta on warm paper). The build pipeline is a single Python script driven by a doc registry; the visual identity is fixed; the contents are yours.

2026-05-22
review-implementation
Desenvolvedores de software

Use when a code change is finished but not yet committed — dispatches a fresh-context subagent to review the diff for design principles (DRY/KISS/HC-LC), test quality, and (where applicable) public-API ergonomics, then consolidates findings and applies the clear fixes automatically.

2026-05-22
slide-writing
Desenvolvedores web

Use when building a scroll-snapped, two-column slide deck in a neutral-academic house style — research-style and formal — for research talks, project briefings, group-meeting decks, anywhere a one-figure-plus-commentary rhythm beats bulleted Keynote slides. Forces a two-phase workflow — agree on the logic flow first, then design each page — so the deck has a thesis before it has visuals. The output is a single self-contained HTML file (CSS, JS, fonts via CDN) with arrow-key navigation, page indicators, and a section component library (masthead, spec list, stats grid, data table, conclusion 2x2, voice-quote wall, tool stack, key-links). The visual identity is fixed; the contents are yours.

2026-05-22
topic-report
Redatores técnicos

Use when given a topic and a list of sources (URLs, arxiv IDs, DOIs, PDFs, local notes) and asked to collect what each source says about the topic and synthesize them into a single cited report. Drives a three-pass workflow — per-source extraction, cross-source synthesis, structured write-up — and grounds every claim in a specific source.

2026-05-22
Mostrando 4 de 4 repositórios
Todos os repositórios foram exibidos