Plugin · Claude Code · Productivity

Psychquant Psychquant Claude Plugins

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

by PsychQuant · github.com/PsychQuant/psychquant-claude-plugins

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

0
GitHub stars
0
Installs
0
Community votes
One vote per signed-in builder - it helps surface the tools the community actually relies on.
Install

Add it to Claude Code

Install the plugin in Claude Code. One command, paste-ready.

Install the plugin
/plugin install psychquant-psychquant-claude-plugins@PsychQuant/psychquant-claude-plugins
Add to ClaudeUse the Agent APISkillselion is itself an MCP server - your agent can fetch this config directly.
Agent API

Built to be called by your agent

Skillselion is itself an MCP server. Your agent can pull this entry and a paste-ready install config straight from the API - no copy-paste.

Retrieve this entry with skillselion.get_details("plugin:PsychQuant/psychquant-claude-plugins") and the paste-ready config with skillselion.get_install_config("plugin:PsychQuant/psychquant-claude-plugins").

About

What it does

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. Solo builders doing serious research, proof-heavy side projects, or bilingual academic workflows can treat it as a journey-wide 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.

Highlights

  • 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.

Why builders use it

Researchers juggle formal proofs, papers, browsers, MCP deploys, and Mac-native tools without a unified Claude Code plugin catalog built for scholarly work.

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.

At a glance

  • Type - Plugin in Productivity.
  • Adoption - 0 installs, 0 stars, 0 votes.

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.

Discussion

Comments

Share how you use psychquant-psychquant-claude-plugins, gotchas, or tips for other indie builders.

No comments yet - be the first to share how you use it.

This week for builders

Five minutes, every Monday — the tools, releases and tactics for shipping solo.

unsubscribe anytime.