formal-methods-expert
Agent skill for ML / AI Engineer, Backend Developer, Data Scientist, published by luo-kai. Project details and file access are provided by the publisher.
ORIGINAL REPOSITORY
luokai0/ai-agent-skills-by-luo-kai ↗GitHub activity
- Stars
- 14
- Forks
- 1
- Open issues and PRs
- 0
- Repository size
- ~87,017 KB
- Default branch
- main
- Created
- Mar 15, 2026
- Repository updated
- Oct 28, 2026
- Last push
- May 5, 2026
- Language
- Python
Repository-wide figures from GitHub, checked Nov 4, 2026. Stars are endorsements, not a Mega AI Hub quality rating. Repository size is GitHub’s estimate; a ZIP download may differ.
Resource information
- Availability
- Reference listing — files at the original project; no Dave AI download
- Fields of work
- Development & Engineering, Data & Analytics, Education & Research, Product Management
- Roles
- ML / AI Engineer, Backend Developer, Data Scientist, Researcher, Product Manager
- Specialties
- Specialty not specified
- Tools & integrations
- Tla+, Coq, Isabelle, Alloy, Z3
- Country applicability
- Country not specified
- Credit basis
- Author explicitly supplied in SKILL.md
- Publisher
- luo-kai
- Official website
- https://github.com/luokai0/ai-agent-skills-by-luo-kai/blob/main/ai-agent-skills/17-emerging-tech%20%28by%20Luo%20Kai%29/formal-methods-expert/SKILL.md
- Last checked
- Nov 5, 2026
- License
- Not specified
- Last record update
- Nov 5, 2026