Login
Download
Skill UI
Browse and discover
15507+
curated skills
All
Development
Artificial Intelligence
Design & Creative
Product & Business
Data Science
Marketing
Soft Skills
Productivity
Engineering
Languages
Search
Fabric
, found
1
results
Default
Newest
Most Downloaded
Generating Rigorous Mathematical Proofs
proof-writer
wanshuiyin/Auto-claude-code-research-in-sleep
197
A specialized tool for formalizing and verifying complex mathematical proofs, particularly in Machine Learning and AI theory. It guides users through structuring theorems, identifying explicit assumptions, performing feasibility triage, and ensuring every logical step is rigorously justified, preventing the fabrication of proofs.
View Details
1
Language
简体中文
English
