Now liveThe Skillselion MCP - thousands of ranked skills, loaded into your agent mid-task. No install.Get it →
PsychQuant avatar

Psychquant Psychquant Claude Plugins

  • Updated July 27, 2026
  • PsychQuant/psychquant-claude-plugins

psychquant-psychquant-claude-plugins is a Claude Code plugin marketplace that delivers 34 academic research and productivity plugins including Lean, agents, and macOS automation.

About

psychquant-psychquant-claude-plugins is Che’s Claude Code plugin marketplace—described in catalog copy as academic research and productivity tooling—with 34 plugins that read like a full research lab in one repo. Expect formal-methods plugins (Lean, Mathlib, axiomatization), documentation and archive flows, creative and browser agents, MCP install/deploy helpers, and deep macOS integrations for mail, calendar, and files. developers doing serious research, proof-heavy side projects, or bilingual academic workflows can treat it as an shelf: start in Idea research, scope spikes with issue-driven plugins, publish docs in Build, and keep automations running in Operate. The breadth is the point; pick plugins à la carte rather than installing everything on day one.

  • 34-plugin marketplace spanning academic research, Lean Prover, Mathlib, and axiom create/validate/lookup flows.
  • Dual-mode and cross-platform agents including browser, creative router, Codex prove-assist, and MCP app lifecycle comman
  • macOS-native affordances: AppleScript, EventKit, iCal, Finder, Mail, Keychain, and Dropbox-aware workflows.
  • Issue-driven development (IDD) diagnose, implement, verify, and update plugins for structured research sprints.
  • Hooks, autocommit, autosave, and automation keywords for sustained scholarly production sessions.

Psychquant Psychquant Claude Plugins by the numbers

  • Data as of Jul 28, 2026 (Skillselion catalog sync)
/plugin install psychquant-psychquant-claude-plugins@PsychQuant/psychquant-claude-plugins

Add your badge

Show developers this plugin is listed on Skillselion. Paste this into your README.

Listed on Skillselion
Last updatedJuly 27, 2026
RepositoryPsychQuant/psychquant-claude-plugins

What it does

Register PsychQuant’s 34-plugin marketplace when you need academic research, formal methods, macOS automation, and agent-browser tooling in one Claude Code catalog.

Who is it for?

Academic developers, quant/psych-style researchers, and power users on macOS who want formal methods plus agent-browser tooling in Claude Code.

Skip if: Beginners who only need a minimal SaaS CRUD skill or a two-plugin ops bundle with no research surface.

What you get

After you register the marketplace, you can enable targeted plugins for Lean verification, academic docs, agents, and automation instead of rebuilding each research workflow by hand.

  • Selectable set of up to 34 research and productivity Claude Code plugins
  • Formal verification and axiom workflows when Lean-related plugins are enabled
  • Agent, browser, and documentation pipelines for sustained academic projects

By the numbers

  • Plugin count: 34
  • Repository: PsychQuant/psychquant-claude-plugins
  • Marketplace subtitle: academic research and productivity tools (學術研究與生產力工具)

Recommended Plugins

How it compares

Large academic plugin marketplace (34 plugins), not a single LLM integration or lightweight personal review bundle.

FAQ

Who is Psychquant Psychquant Claude Plugins for?

Claude Code users doing academic or formal research who want Lean, documentation, browser agents, and macOS productivity plugins in one marketplace.

When should I use Psychquant Psychquant Claude Plugins?

When your project spans literature-style research, formal verification, creative agents, and MCP-backed tooling and you need more than a handful of generic dev plugins.

How do I add Psychquant Psychquant Claude Plugins to my agent?

Add PsychQuant/psychquant-claude-plugins as a Claude Code marketplace, then install only the plugins you need—Lean, IDD, browser, or MCP subsets—to avoid noise.

Productivityresearchautomationagents

This week in AI coding

Five minutes, every Monday - the tools, releases and tactics for developers.

unsubscribe anytime.