skill-lean-research
Research Lean 4 and Mathlib for theorem proving tasks. Invoke for Lean-language research using LeanSearch, Loogle, and lean-lsp tools.
441 repo starsObserved in 1 repos
Research
Research skills
Browse reusable Agent Skills, each with a clear purpose and practical guidance.
skill-lean-research-hard
Research Lean 4 and Mathlib for theorem proving tasks with hard-mode behavioral contracts. Invoke for Lean-language research using LeanSearch, Loogle, and lean-lsp tools when hard-mode is requested.
441 repo starsObserved in 1 repos
Research
skill-logic-research
Research mathematical logic tasks using domain context and codebase exploration. Invoke for logic-language research involving modal logic, Kripke semantics, and related mathematical foundations.
441 repo starsObserved in 1 repos
Research
skill-market
Market sizing research with TAM/SAM/SOM framework
441 repo starsObserved in 1 repos
Research
skill-math-research
Research mathematical tasks using domain context and codebase exploration. Invoke for math-language research involving algebra, lattice theory, order theory, topology, and category theory.
441 repo starsObserved in 1 repos
Research
skill-neovim-research
Conduct Neovim configuration research using plugin docs and codebase exploration. Invoke for neovim research tasks.
441 repo starsObserved in 1 repos
Research
skill-nix-research
Conduct Nix/NixOS/Home Manager research using MCP-NixOS, web docs, and codebase exploration. Invoke for nix research tasks.
441 repo starsObserved in 1 repos
Research
skill-physics-research
Research physics formalization tasks using domain context and codebase exploration. Invoke for physics-language research involving dynamical systems, chaos theory, and related formalization.
441 repo starsObserved in 1 repos
Research
skill-pr-review-research
Fetch GitHub PR and Zulip thread data for pr-type review tasks. Invoke for pr research tasks.
441 repo starsObserved in 1 repos
Research
skill-python-research
Research Python development tasks. Invoke for Python-language research.
441 repo starsObserved in 1 repos
Research