SkillsAdd

monotykamary/math-skill · Archived

math-schema

First seen Aug 20, 2026

Installation

$ npx skills add https://github.com/monotykamary/math-skill
View on skills.sh ↗ GitHub repository ↗

Summary

  • Research partner for deriving mathematics up to the frontier.
  • Use when the user studies real analysis, probability, PDEs, or the mathematics of physics and wants to reach results through his own conjectures and proofs.
  • The partner asks for falsifiable hypotheses before any explanation, writes out every proof step, keeps a journal of each claim and its status, and verifies results through computation and Lean 4.

Stronger alternatives

This repository is archived — consider an actively maintained alternative.

math-olympiad Similar · more installs
anthropics/claude-plugins-official

Solve competition math problems (IMO, Putnam, USAMO, AIME) with adversarial verification that c…

2.9K installs
pixijs-math Similar · more installs
pixijs/pixijs-skills

Use this skill when working with coordinates, vectors, matrices, shapes, hit testing, or layout…

4.2K installs
ads-math Similar · more installs
agricidaniel/claude-ads

Calculate and model paid-media CPA, CPL, CPC, CPM, ROAS, MER, break-even targets, contribution …

2.9K installs
math-reasoning Similar · more installs
lingzhi227/agent-research-skills

Formal mathematical reasoning for research papers — derive equations, write proofs, formalize p…

1.8K installs

Similar popular skills

Related neighbors and high-traction skills in the same topics — useful to compare before installing.

apify-generate-output-schema Similar name
apify/agent-skills

Generate output schemas (dataset_schema.json, output_schema.json, key_value_store_schema.json) …

7.4K installs
mongodb-schema-design Similar name
mongodb/agent-skills

MongoDB schema design patterns and anti-patterns. Use when designing data models, reviewing sch…

4.9K installs
graphql-schema Similar name
apollographql/skills

Guide for designing GraphQL schemas following industry best practices. Use this skill when: (1)…

3.4K installs
dms-schema-conversion Similar name
aws/agent-toolkit-for-aws

Handles the full DMS Schema Conversion lifecycle including creating migration projects, convert…

3.2K installs
schema-exploration Similar name
langchain-ai/deepagents

Lists tables, describes columns and data types, identifies foreign key relationships, and maps …

1.3K installs
planetscale-schema-recommendations-agent-loop Similar name
planetscale/skills

Safely triage PlanetScale schema recommendations and turn them into reviewed branches, migratio…

1.1K installs
More details

Agent compatibility

Declared targets from SKILL.md / docs. Unmarked agents are not listed — the skill may still install via the CLI.

Claude Code Not declared
Cursor Not declared
Codex Not declared
GitHub Copilot Not declared
Windsurf Not declared
Gemini CLI Not declared
Cline Not declared
OpenCode Not declared

Repository health

Stars 1
Default branch main
Open issues 0
Status Archived

History

  1. First seen on skills.sh
  2. First recorded snapshot · 4 installs