applied-engineering-disciplines
CommunityBridge formal math to engineering practice.
Software Engineering#verification#engineering#handbook#systems-engineering#lean-4#formal-mathematics
Authorr-irbe
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Engineering methods and frameworks that connect formal mathematics to practical system design, verification, testing, and deployment.
Core Features & Use Cases
- Routing and workflow guidance for applying engineering disciplines (control theory, systems engineering, reliability engineering, software verification, signal processing, and testing) within Lean 4.
- Clear handoffs to related skills and access to a central handbook for deeper reference.
- Detailed reference materials and cross-references to relevant parts of the discipline handbook.
Quick Start
Load the handbook and identify the discipline match to begin applying engineering methods to formal mathematical systems.
Dependency Matrix
Required Modules
None requiredComponents
references
💻 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: applied-engineering-disciplines Download link: https://github.com/r-irbe/proof-skills/archive/main.zip#applied-engineering-disciplines 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.