LKQ667

23 mods across 1 repository, 11 stars between them.

academic-search

01

LKQ667/metamath-harness

Skill Claude CodeCodex

A manually triggered tool for searching academic papers and extracting their metadata, such as title, authors, and publication details.

11 2d ago D 101 tokens

agent-reach

02

LKQ667/metamath-harness

Skill Claude CodeCodex

MUST USE when user wants to 调研/research/搜索/search/查/找/look up anything on the internet — e.g. 全网调研 X / 帮我调研一下 X / 查一下 X / 搜搜 X / 看看大家怎么评价 X / X 上有什么讨论 / research this topic。 Also MUST USE when user mentions any platform or shares any URL/链接: 小红书/xiaohongshu/xhs, Twitter/推特/X, B站/bilibili, Reddit, Facebook, Instagram…

11 2d ago A 349 tokens

ai-draw-skills

03

LKQ667/metamath-harness

Skill Claude CodeCodex

A helper for deciding whether a research paper or scientific passage needs a diagram and for writing Chinese prompts and placeholders for that diagram.

11 2d ago A 100 tokens

anti-autoresearch

04

LKQ667/metamath-harness

Skill Claude CodeCodex

A manually triggered audit workflow for checking research papers for possible integrity risks. It reports evidence for human review rather than deciding that an author committed misconduct.

11 2d ago A 175 tokens

claude-vision-skill

05

LKQ667/metamath-harness

Skill Claude CodeCodex

A manually triggered vision workflow for DeepSeek Harness models that do not have built-in image understanding.

11 2d ago A 79 tokens

domain-modeling

06

LKQ667/metamath-harness

Skill Claude CodeCodex

Build and sharpen a project's domain model in documentation or analysis-only mode. Use when the user wants to pin down domain terminology, record an architectural decision, maintain the domain model, or supply domain findings to a Plan-mode workflow without writing files.

11 2d ago A 52 tokens

frontend-design

07

LKQ667/metamath-harness

Skill Claude CodeCodex

Create distinctive, production-grade frontend interfaces with high design quality. Use this skill when the user asks to build web components, pages, artifacts, posters, or applications (examples include websites, landing pages, dashboards, React components, HTML/CSS layouts, or when styling/beautifying any web UI).…

11 2d ago A 77 tokens

grill-ai-review

08

LKQ667/metamath-harness

Skill Claude CodeCodex

Self-interrogate and improve AI-written code after implementation to catch missed requirements, unreviewed files, hidden regressions, needless abstractions, duplicated logic, weak tests, and codebase-damaging complexity. Use when the user asks Codex to grill, self-review, stress-test, harden, or optimize its own code…

11 2d ago A 73 tokens

grill-with-docs

10

LKQ667/metamath-harness

Skill Claude CodeCodex

Run /grilling in /plan with tool/requestUserInput and isOther, use analysis-only $domain-modeling, and produce a decision-complete Markdown plan. Use when a plan must be fully clarified without modifying project files.

11 2d ago A 52 tokens

grilling

11

LKQ667/metamath-harness

Skill Claude CodeCodex

Grill the user relentlessly about a plan or design. Use when the user wants to stress-test a plan before building, or uses any 'grill' trigger phrases.

11 2d ago A 37 tokens

humanizer

12

LKQ667/metamath-harness

Skill Claude CodeCodex

Remove signs of AI-generated writing from text. Use when editing or reviewing text to make it sound more natural and human-written. Based on Wikipedia's comprehensive "Signs of AI writing" guide. Detects and fixes patterns including: inflated symbolism, promotional language, superficial -ing analyses, vague…

11 2d ago A 93 tokens

imagegen

13

LKQ667/metamath-harness

Skill Claude CodeCodex

A manually triggered image-generation workflow for DeepSeek Harness, supporting text prompts and reference images.

11 2d ago A 61 tokens

long-goal

14

LKQ667/metamath-harness

Skill Claude CodeCodex

A persistent workflow for long, multi-step engineering tasks, keeping requirements, designs, tasks, checks, and reviews in one stored source of truth.

11 2d ago A 116 tokens

LKQ667/metamath-harness

Skill Claude CodeCodex

A workflow for creating and checking editable draw.io diagrams for Chinese mathematical-modeling papers. Draw.io is a tool for making diagrams that can be edited later.

11 2d ago A 115 tokens

math-paper-cn

16

LKQ667/metamath-harness

Skill Claude CodeCodex

Use when the user wants an end-to-end Chinese mathematical modeling workflow with Python data figures, project-locked Draw.io or AI non-data figures, automatic Windows LaTeX setup, step0-step5 hard gates, and final LaTeX/PDF output.

11 2d ago A 56 tokens

math-paper-huashu

17

LKQ667/metamath-harness

Skill Claude CodeCodex

Use when the user wants an end-to-end 华数杯 Chinese mathematical modeling workflow with the official JXUSTmodeling template, Python data figures, project-locked Draw.io or AI non-data figures, step0-step5 hard gates, and final LaTeX/PDF output.

11 2d ago A 64 tokens

math-paper-huawei

18

LKQ667/metamath-harness

Skill Claude CodeCodex

Use when the user wants an end-to-end 华为杯(中国研究生数学建模竞赛)workflow with the GMCMthesis template, Python data figures, project-locked Draw.io or AI non-data figures, step0-step5 hard gates, and final LaTeX/PDF output.

11 2d ago A 67 tokens

py-nature

19

LKQ667/metamath-harness

Skill Claude CodeCodex

A Python plotting guide for creating Nature-style figures for mathematical-modelling and research papers. It covers trends, sensitivity analysis, optimisation, network spread, spatial patterns, dynamics, statistical comparisons, and multi-panel figures.

11 2d ago A 123 tokens

LKQ667/metamath-harness

Skill Claude CodeCodex

Chinese-first research paper writing, revision, polishing, section drafting, rebuttal, peer-review response, thesis prose improvement, and manuscript argument planning. Use when the user asks to write or revise论文正文, abstracts, introductions, methods, results, discussion, conclusions, related work, responses to…

11 2d ago A 92 tokens

skill-installer

21

LKQ667/metamath-harness

Skill Claude CodeCodex

An installer for Agent Skills in DeepSeek Harness, a tool for running coding agents. It can list available skills and install them from a selected collection or a GitHub repository.

11 2d ago A 82 tokens

yatai-cn

22

LKQ667/metamath-harness

Skill Claude CodeCodex

Use when the user wants an end-to-end Chinese APMCM workflow with official-first data governance, Python data figures, project-locked Draw.io or AI non-data figures, and an APMCM Chinese-track LaTeX paper.

11 2d ago A 51 tokens

LKQ667/metamath-harness

Instructions file CodexOpenCode

AGENTS.md instructions for LKQ667/metamath-harness, covering agents.md — 给 ai ide 的自动化安装指引 and 硬性禁止.

11 2d ago A 419 tokens