Plugin
lean4-skills
Lean 4 workflow pack for AI coding agents. Gives your agent a structured prove/review/golf loop, mathlib search, axiom checking, and safety guardrails.
1 skill4 agents14 commands362
@cameronfreerView PluginThe best plugins are on Flowy :)
The auto-invoked alpha. Only found here.
@cameronfreerView PluginPlugin
project-butler
Make AI coding agents remember your project between sessions. project-butler helps Claude Code, Cursor, Codex, and similar AI coding assistants behave like long-term project teammates instead of starting from scratch every session.
1 skill362
@jamesshi96View PluginPlugin
claude-code-stock-deep…
Investment Research Edition - 专业股票投资尽调系统 ⚖️ 免责声明 本研究报告不构成投资建议或推荐。所有投资存在风险，包括本金损失。 重要提示: 本报告仅供教育和信息用途 部分数据需要通过官方渠道验证 过往业绩不代表未来表现 投资决策前请自行进行尽职调查 建议咨询合格的财务顾问 🎓 研究框架 本研究基于 Claude Code Deep Research 系统： 方法论: 8阶段股票投资尽调框架 智能体: 28个并行研究智能体 工具: WebSearch、WebFetch、综合分析
7 skills5 commands362
@liangdabiaoView PluginPlugin
llmwiki
LLM-powered knowledge base from your Claude Code, Codex CLI, Cursor, Gemini CLI, and Obsidian sessions. Built on Andrej Karpathy's LLM Wiki pattern.
6 skills18 commands362
@pratiyushView PluginBuilt a plugin that works?
Import it from GitHub and we review every one. Merged plugins join the library with your credit. Open source, free.
Add your plugin
Two ways in: import a GitHub repo here, or open a pull request if you prefer the git-native path.
Or submit via PR on GitHub
