Develop 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.
Plugin lean-verify in xsoc1/rigorous-open-math-research. Commands read from the repo's manifest — 1 month ago.
lean-verifyDevelop Lean 4 proofs with local lemma discovery, actual interface probes and candidate feedback, then verify precise roots against independent intended statements. Preserve exact target, transitive axiom, freshness and semantic-review checks.
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
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.
1 skill
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
Core skills library for Claude Code: TDD, debugging, collaboration patterns, and proven techniques
15 skills · hooks
Up-to-date documentation lookup. Pull version-specific documentation and code examples directly from source repositories into your coding agent's context.
1 MCP server
5 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
Use Alibaba Open Code Review from local Codex.
2 skills
Claude Code skill for creating and presenting Slidev slidedecks
1 skill
Code 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
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.