math-product-management
CommunityStrategic product thinking for formal verification.
Product & Management#prioritization#handoffs#product-management#formal-verification#stakeholders#roadmaps#theorem-portfolio
Authorr-irbe
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Aligns roadmap, stakeholder priorities, and theorem portfolios for mathematical formalization projects, enabling teams to make informed strategic decisions separate from day-to-day execution. It helps bridge strategy with verification work by translating high-level goals into actionable roadmaps and prioritized features.
Core Features & Use Cases
- Roadmapping & prioritization: Create roadmaps, rank features, and sequence work for formal proofs and theorem portfolios.
- Stakeholder alignment: Communicate trade-offs and plans to researchers, developers, and managers.
- Handoff readiness: Produce artifacts ready for handoffs to execution-focused skills (e.g., math-project-management).
Quick Start
Frame a product question for a formalization project and generate a prioritized roadmap to guide development and verification work.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: math-product-management Download link: https://github.com/r-irbe/proof-skills/archive/main.zip#math-product-management Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 510,000+ vetted skills library on demand.