proof-composer
Agent skill for DevOps / SRE, Backend Developer, Frontend Developer, published by Microck. Project details and file access are provided by the publisher.
Resource information
- Availability
- Reference listing — files at the original project; no Dave AI download
- Fields of work
- Development & Engineering, Product Management
- Roles
- DevOps / SRE, Backend Developer, Frontend Developer, Product Manager, Technical Product Manager
- Specialties
- Backend, Frontend, DevOps
- Tools & integrations
- Bash_Tool
- Country applicability
- Country not specified
- Credit basis
- Repository publisher; individual authorship is not asserted
- Publisher
- Microck
- Official website
- https://github.com/Microck/ordinary-claude-skills/blob/1056d293d41a3a3b86518d8ab6ec0a79091ccedb/skills_all/proof-composer/SKILL.md
- Last checked
- 2026-11-02T02:57:52+00:00
- License
- Proprietary - LeanOS Engineering Layer
- Last record update
- Nov 1, 2026