skill-math-research

Research mathematical tasks using domain context and codebase exploration. Invoke for math-language research involving algebra, lattice theory, order theory, topology, and category theory.

Jump to install Review files

Repository: benbrastmckie/ModelChecker
Last source activity: March 4, 2026 at 00:47
Detected SKILL.md language: English
Stars: 14
Forks: 3

Install options

The review-first prompt is selected by default. You can switch to a direct command or download a local copy.

Install with an AI assistant

Copy this prompt into the AI assistant you're using.

Follow https://skillsmp.com/skill-install/prompt.md to install only the Agent Skill at https://github.com/benbrastmckie/ModelChecker/tree/master/.opencode/skills/skill-math-research.

A direct command skips the review prompt. Inspect the source before running it.

npx skills add https://github.com/benbrastmckie/ModelChecker --skill skill-math-research

The command stays on one line. Scroll horizontally to inspect it before copying.

Prefer a local copy? Download the files currently available to SkillsMP.

Review the source files

Read SKILL.md and any companion files shown by SkillsMP before deciding whether to install.

SKILL.md

Source instructions · Read-only preview

name	skill-math-research
description	Research mathematical tasks using domain context and codebase exploration. Invoke for math-language research involving algebra, lattice theory, order theory, topology, and category theory.

Back to search Back to installation

skill-formal-research

Research skill for formal methods and logic verification

2026-03-04

skill-lean-implementation

Implementation skill for Lean 4 proofs and definitions

2026-03-04

skill-lean-research

Research skill for Lean 4 theorem prover and Mathlib

2026-03-04

View all from this repository

skill-math-research

Source facts

Install options

Install with an AI assistant

Review the source files

More from this repository

Install with an AI assistant

More from this repository