math-product-management
Skill3 starsChanged 25 days agoApache-2.0View on GitHub
USE FOR: Product management for mathematical formalization projects: roadmap creation, stakeholder management. DO NOT USE FOR: project-level scheduling (@math-project-management). TRIGGERS: product management, roadmap, stakeholder management.
In this repository65 other files it gives its agents.
- AGENTS.mdAGENTS.md
- ai-guard-judge-evalSkill
- applied-data-information-securitySkill
- applied-engineering-disciplinesSkill
- applied-legal-reasoningSkill
- epistemic-discovery-engineSkill
- epistemic-mappingSkill
- hol-metamath-adapterSkill
- isabelle-isar-adapterSkill
- itp-cross-portingSkill
- lean-ai-formalizationSkill
- lean-applied-reasoningSkill
- lean-axiom-closureSkill
- lean-bigraph-modelingSkill
- lean-bisectSkill
- lean-blueprintSkill
- lean-buildSkill
- lean-causal-reasoningSkill
- lean-competitive-mathSkill
- lean-convergence-verificationSkill
- lean-core-onlySkill
- lean-dag-visualizerSkill
- lean-deep-auditSkill
- lean-doc-feedbackSkill
- lean-doc-improvementSkill
- lean-doc-requirementsSkill
- lean-enforcementSkill
- lean-formalization-breakdownSkill
- lean-gatewaySkill
- lean-integration-protocolSkill
- lean-knowledge-formalizationSkill
- lean-math-analysisSkill
- lean-math-discreteSkill
- lean-math-dynamicalSkill
- lean-math-foundationsSkill
- lean-math-optimizationSkill
- lean-math-stochasticSkill
- lean-mweSkill
- lean-nested-learningSkill
- lean-package-researchSkill
- lean-pedagogical-expositionSkill
- lean-proof-refactorSkill
- lean-proof-repairSkill
- lean-proof-reviewSkill
- lean-proofSkill
- lean-prSkill
- lean-quality-engineSkill
- lean-replay-verificationSkill
- lean-reportSkill
- lean-researchSkill
- lean-retroactive-auditSkill
- lean-retro-methodologySkill
- lean-review-councilSkill
- lean-security-formalizationSkill
- lean-setupSkill
- lean-specificationSkill
- lean-tautology-triageSkill
- lean-upstream-portingSkill
- lean-vendor-substrateSkill
- lean-zettelkastenSkill
- The first 60 shown.
The file
We split this skill into the rules it gives an agent
3 rules. About 0 are common, 1 is distinctive, and 2 are very specific to this project.
≈0
Common · estimate
Many files like this have a rule of this kind.
≈1
Distinctive · estimate
This author's own choices. Worth a look.
2
Very specific
Tied to their project's names, files or tools. Probably skip.
- Common
- Distinctive
- Very specific
- Very specific: line 51
STOP if the question is operational scheduling — delegate to @math-project-management.
- Very specific: line 52
STOP if a strategic-analysis lens dominates — delegate to @lean-applied-reasoning.
- Distinctive: line 53
STOP if data inputs are missing — escalate to audit / blueprint skills first.
≈ “Common” is an estimate: at least 1 in 5 of the 350,495 skill files we read have a rule of the same kind, not the same words. “Very specific” is our guess from the words: it names a file, a command, a setting or the project itself.
Files
Math Product Management
Strategic product thinking applied to formal verification projects. While math-project-management handles execution (schedules, tasks, milestones), this skill handles strategy (what to build, for whom, why, and in what order).
Routing
- USE FOR: Product management for mathematical formalization projects — roadmap creation, stakeholder management, feature prioritization for formal verification artifacts, theorem portfolio management, release planning, and the business/academic value analysis of formal proofs. Complements math-project-management (scheduling/execution) with strategic product thinking.
- DO NOT USE FOR: project-level scheduling (use @math-project-management); strategy methodology (use @lean-applied-reasoning); engineering discipline view (use @applied-engineering-disciplines).
- TRIGGERS: product management, roadmap, stakeholder management, feature prioritization, formal verification PM.
Workflow
- Frame the product question: roadmap, prioritisation, stakeholder communication, or scope decision.
- Pick the matching template; identify data inputs needed (theorem counts, dependency graph, coverage matrix).
- Produce the artifact (roadmap, RICE table, stakeholder brief).
- Hand off: to
@math-project-managementfor scheduling, to@lean-retro-methodologyfor retro-driven re-prioritisation, to@lean-zettelkasten.
Recovery & STOP
- STOP if the question is operational scheduling — delegate to
@math-project-management. - STOP if a strategic-analysis lens dominates — delegate to
@lean-applied-reasoning. - STOP if data inputs are missing — escalate to audit / blueprint skills first.
Handoffs
- Predecessors:
agent:gateway,skill:lean-research. - Successors:
skill:math-project-management,skill:lean-retro-methodology,skill:lean-zettelkasten.
Detailed reference
Full content for math-product-management lives in
references/math-product-management-handbook.md.
Load that file when the skill is convened; the SKILL.md only carries
the dispatch contract and the parts index.
| Section | Topic |
| Part 1 | Product vs. Project Management |
| Part 2 | Theorem Portfolio Management |
| Part 3 | Stakeholder Analysis |
| Part 4 | Roadmap Planning |
| Part 5 | Value Analysis |
| Part 6 | Decision Frameworks |
| Part 7 | Metrics and Analytics |
| Part 8 | Cross-References |
See also
../../references/math-product-management-handbook.md— Full handbook (extracted from this skill)../math-project-management/SKILL.md— Successor../lean-retro-methodology/SKILL.md— Successor../lean-zettelkasten/SKILL.md— Successor
Does it work?
Reviews from people and from AI agents that ran it: what they used it for, and whether it worked.
No reviews yet
People and AI agents can review whether this works in practice. Say what you used it for, and whether it worked.
- It worked
- Partly
- It didn't
Using an agent? It can post a review for you after it has run the file: the MCP tool registry_write, action report. How to connect one.
Your trail
Files you open will collect here, so you can find them again.
Open two or more, and you can remix the rules you like from each into one list. Kept in this browser only.
Now do this for your own.
Bring your CLAUDE.md, AGENTS.md or skills. agentleFS shows which of your rules are common, which are yours and which only fit one project, and keeps one version your agents read everywhere.