LKQ667/metamath-harness

DeepSeek Harness 0.1.1-rc.2 mathematical modeling enhancement suite: external plugins + Presets + manual Skill cards + image-to-editable-PPT conversion + API key pool + cross-session knowledge base + one-click Windows installation/portable version

This repository also configures its own agents. See what metamath-harness tells them →

14Stars on the repository
28Mods indexed here, across every type
yesterdayLast push, which is what freshness is scored on
noneNo LICENSE: all rights reserved, so bodies are not copied

academic-search

01

LKQ667/metamath-harness

Skill Codex

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

not rated 14 +2 changed 3d ago D 101 tokens

agent-reach

02

LKQ667/metamath-harness

Skill Claude CodeCodex

A research tool for finding and checking information on the internet, including discussions on platforms such as Reddit, X, Instagram, and Xiaohongshu.

not rated 14 +2 yesterday 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.

not rated 14 +2 yesterday 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.

not rated 14 +2 yesterday A 175 tokens

claude-vision-skill

05

LKQ667/metamath-harness

Skill Claude Code

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

not rated 14 +2 yesterday A 79 tokens

domain-modeling

06

LKQ667/metamath-harness

Skill Codex

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.

not rated 14 +2 yesterday 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).…

not rated 14 +2 yesterday 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…

not rated 14 +2 yesterday A 73 tokens

grill-me

09

LKQ667/metamath-harness

Skill Claude CodeCodex

A relentless interview to sharpen a plan or design.

not rated 14 +2 yesterday A 14 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.

not rated 14 +2 yesterday 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.

not rated 14 +2 yesterday A 37 tokens

humanizer

12

LKQ667/metamath-harness

Skill Claude Code

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…

not rated 14 +2 yesterday A 93 tokens

imagegen

13

LKQ667/metamath-harness

Skill Claude Code

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

not rated 14 +2 yesterday A 61 tokens

long-goal

14

LKQ667/metamath-harness

Skill Codex

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

not rated 14 +2 yesterday A 116 tokens

LKQ667/metamath-harness

Skill Codex

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.

not rated 14 +2 yesterday 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.

not rated 14 +2 yesterday A 56 tokens

math-paper-huashu

17

LKQ667/metamath-harness

Skill Claude CodeCodex

An end-to-end workflow for the Huashu Chinese Mathematical Modeling Contest, using the official JXUSTmodeling template. It produces a formatted paper through LaTeX, a system for building documents from source files.

not rated 14 +2 yesterday A 64 tokens

math-paper-huawei

18

LKQ667/metamath-harness

Skill Claude CodeCodex

An end-to-end workflow for the Huawei Cup Chinese Graduate Mathematical Modeling Contest, using the GMCMthesis LaTeX template. LaTeX is a system for producing formatted documents and PDFs from source files.

not rated 14 +2 yesterday 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.

not rated 14 +2 yesterday A 123 tokens

LKQ667/metamath-harness

Skill Claude CodeCodex

A Chinese-first guide for writing and revising research papers and related academic responses.

not rated 14 +2 yesterday A 92 tokens

skill-installer

21

LKQ667/metamath-harness

Skill Codex

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.

not rated 14 +2 yesterday A 82 tokens

yatai-cn

22

LKQ667/metamath-harness

Skill Codex

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.

not rated 14 +2 yesterday A 51 tokens

LKQ667/metamath-harness

Skill Codex

A slide reconstruction workflow that turns slide images, scanned PowerPoint files, or PDF decks into editable PowerPoint files.

not rated 14 +2 yesterday C 113 tokens

abstract

24

LKQ667/metamath-harness

Skill Codex

A skill for writing abstracts for the China Undergraduate Mathematical Contest in Modeling, a competition where students use mathematics to study real-world problems. It gives rules for producing a tightly formatted academic summary.

not rated 14 +2 yesterday A 90 tokens

At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: