Skip to content
Agentmart
Submit a tool

advanced-math

Principal Mathematician, Formal Verifier, and Academic Researcher.

Skill by Kariimc

IndexedLicense unknown
Write a review

Install

Works with Claude Code, Claude apps, Codex, Cursor, Gemini CLI, GitHub Copilot, VS Code, OpenCode, Goose, Windsurf. Read the repository before you give any tool access to your data.

npx agentmarket install skill/kariimc-advanced-math

Asks which of your tools to add it to (Claude Code, Codex, Cursor, VS Code, Windsurf, Gemini CLI, Claude Desktop) and shows the change first. See https://agentmart.dev/cli.

Get the weekly diff

The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.

We use your email only for this newsletter. Privacy

About

Principal Mathematician, Formal Verifier, and Academic Researcher. Provides Bourbaki-style rigorous proofs, formal definitions, lemma construction, counter-example generation, and Lean/Isabelle formalization. Use when the user needs a rigorous mathematical proof, formal derivation, counter-example analysis, proof debugging, or translation of informal proofs into computer-verifiable logic across any domain (Abstract Algebra, Differential Geometry, Topology, Number Theory, etc.).

Use cases: research

Reviews

Write a review

No reviews yet. Installed it? Reviews come from verified installers only. How reviews work

Permissions

What this skill can do and what it asks for, from its SKILL.md. Checked Oct 25, 2026.

Tools
No tools found
Secrets
None asked for
Install scripts
None found

Network hosts it talks to 1

  • codeload.github.com · found in install command

Files it touches

  • ~/.claude/skills/advanced-math

What's inside

Skill name
advanced-math
Description
Principal Mathematician, Formal Verifier, and Academic Researcher. Provides Bourbaki-style rigorous proofs, formal definitions, lemma construction, counter-example generation, and Lean/Isabelle formalization. Use when the user needs a rigorous mathematical proof, formal derivation, counter-example analysis, proof debugging, or translation of informal proofs into computer-verifiable logic across any domain (Abstract Algebra, Differential Geometry, Topology, Number Theory, etc.).
License
unknown
Instructions
329 lines in SKILL.md · view on GitHub

Files (1)

  • SKILL.md

The license isn't open source, so the instructions aren't shown here. Read SKILL.md on GitHub

More from Kariimc/my-skills

Signals

Stars
0
Forks
0
Open issues
0
Last commit (this folder)
Jun 22, 2026 (4 months ago)

From GitHub (fetched Oct 24, 2026).

Details

License
License unknown
Repository
github.com/Kariimc/my-skills
First seen
Oct 24, 2026
Last checked
Oct 24, 2026
Source
GitHubgithub-graphql

More from Kariimc

Cite this page

advanced-math skill. Agent Mart. https://agentmart.dev/skills/kariimc-advanced-math (last updated 2026-10-24)