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 →

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

LKQ667/metamath-harness

Skill Codex

A skill for solving one specified question from a mathematical modelling competition through model design, real calculations, and iterative checks. It compares up to three independent solution routes and suggests paper figures and tables.

not rated 15 +2 changed yesterday A 94 tokens

dsh-preset-creator

26

LKQ667/metamath-harness

Skill Claude CodeCodex

A skill for creating agent presets under DeepSeek Harness, a system for defining reusable agent configurations. It produces preset.yml and agent.cordis.yml files and checks that they assemble correctly.

not rated 15 +2 yesterday A 97 tokens

LKQ667/metamath-harness

Skill Claude Code

A bounded local exploratory data analysis tool for supported scientific files such as CSV, TSV, and JSON. Exploratory data analysis means checking a dataset's shape, quality, missing values, unusual values, and possible leakage before deeper work.

not rated 15 +2 yesterday A 117 tokens

html-paper-figure

28

LKQ667/metamath-harness

Skill Claude CodeCodex

A tool for drawing non-data diagrams with HTML and CSS and printing them as single-page vector PDFs for inclusion in LaTeX papers.

not rated 15 +2 yesterday A 127 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: