the-thinker0

6 mods across 1 repository, 9 stars between them.

the-thinker0/math-skill

Skill Claude CodeCodex

A routing guide for mathematical analysis in AI research and cryptography. It helps an agent choose the relevant mathematical ideas and checks for a problem.

9 6d ago A 151 tokens original MIT

math-critic.en

02

the-thinker0/math-skill

Agent

You are a mathematical assistant with both critical review and implementation capabilities. Your primary task is to evaluate the reliability and applicability of arguments, proposals, or conclusions from a mathematical perspective, while also providing concrete implementation strategies, problem-solving approaches, or…

9 6d ago A 0 tokens original MIT

math-critic

03

the-thinker0/math-skill

Agent

A mathematical review agent that checks whether arguments, models, calculations, and conclusions are reliable and applicable.

9 6d ago A 0 tokens original MIT

ask

04

the-thinker0/math-skill

Command

Math Research OS entry: auto-diagnose user intent, route to thinking lenses, math knowledge base, or design translation layer.

9 6d ago A 28 tokens original MIT

ask

05

the-thinker0/math-skill

Command

A command for a math research workflow that identifies what the user is asking and routes the request to suitable thinking tools, mathematical information, or design translation. It also selects Chinese or English instructions based on the user’s language.

9 6d ago A 59 tokens original MIT

the-thinker0/math-skill

Skill Claude CodeCodex

A routing guide for mathematical work in AI and cryptography. It helps choose the right concepts and checks for architecture design, theory, mathematical transfers, definitions, constructions, proofs of security, and protocol reviews.

9 6d ago A 151 tokens original MIT