Total Skills
1
Author Profile: yaniv-golan
Skills published by yaniv-golan with real stars/downloads and source-aware metadata.
Total Stars
6
Total Downloads
0
Skills Performance
Comparison chart based on real stars and downloads signals from source data.
proof-engine
6
Stars
6
Downloads
0
Published Skills
proof-engine
Create formal, verifiable proofs of claims with machine-checkable reasoning. Use when asked to prove, verify, fact-check, or rigorously establish whether a claim is true or false — mathematical, empirical, or mixed. Trigger phrases: "is it really true", "can you prove", "verify this", "fact-check this", "prove it", "show me the logic". Do NOT use for opinions, essays, or questions with no verifiable answer.
Repository SourceNeeds Review