Lean Verify
codexDevelop Lean proofs with local lemma discovery, actual interface probes and fresh candidate feedback, then use exact declaration, transitive axiom and intended-scope verification with durable research jobs.
1 skill
5
codex
Math Research Workflow
Support long-running mathematics research with concise guidance, reusable knowledge and optional Lean verification. Choose research methods and collaboration freely; preserve useful understanding and continue across sessions.
Plugin math-research-workflow in xsoc1/rigorous-open-math-research. Commands read from the repo's manifest — 1 month ago.
What it installs
Skills (1)
math-research-workflowSupport a long-running mathematics project with reusable knowledge, literature tools, continuity, isolated review and integrated formal verification. Use when coordinating research across problems or sessions, correcting prior results, or choosing the relevant research tools.
More from xsoc1/rigorous-open-math-research
All 4 plugins →Read literature into versioned sources and reusable tool cards, add searchable agent annotations, compare research experience and maintain a human editable understanding page. Use the Blueprint receiver for canonical accepted knowledge when present.
1 skill
5
Develop and audit research-level mathematical arguments. Preserve precise scope, useful constructions and insights from successful and failed routes without a fixed phase or agent protocol.
1 skill
5
Similar plugins
superpowers
claudecodexCore skills library for Claude Code: TDD, debugging, collaboration patterns, and proven techniques
15 skills · hooks
obra/superpowers 316,836
context7
claudecodexUp-to-date documentation lookup. Pull version-specific documentation and code examples directly from source repositories into your coding agent's context.
1 MCP server
upstash/context7 64,709
academic-research-skills
claude5 skills + 35 modes + Material Passport pipeline. Includes v3.6.7 cross-model audit gate and v3.6.8 generator-evaluator contract.
5 skills · 16 commands · 4 agents · hooks
Imbad0202/academic-research-skills 56,698
Open Code Review
codexUse Alibaba Open Code Review from local Codex.
2 skills
alibaba/open-code-review 50,068
slidev
claudeClaude Code skill for creating and presenting Slidev slidedecks
1 skill
slidevjs/slidev 49,452
gitnexus
claudecodexCode intelligence powered by a knowledge graph. Provides execution flow tracing, blast radius analysis, and augmented search across your codebase.
12 skills · 1 MCP server · hooks
abhigyanpatwari/GitNexus 48,482
Maintain Math Research Workflow?
This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.
claude & codex plugins4 plugins