siddhartha-gadgil | Publishers | verified-skill.com | vSkill

If you find vskill useful, give it a star on GitHub→

LoginSkills Studio Watch Submit Publishers Trust Queue Docs Insights

vskill

Securing the AI skills supply chain.

Skills Studio Watch Publishers Trust Docs Queue Submit Insights GitHub npm SpecWeave

MIT License

siddhartha-gadgil | Publishers | verified-skill.com | vSkill

← All publishers

──siddhartha-gadgil

28 skillsAvg Trust: 44119 total stars

Sort

Tier

28 skills

siddhartha-gadgil/leanaide

Trust: 67118 starssiddhartha-gadgil/leanaidev1.0.022d ago

02_inspect_triage

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today

03_source_study

siddhartha-gadgil/leanaide

Trust: 67119 starssiddhartha-gadgil/leanaidev1.0.0today

04_strategy_gen

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today

05_execute_step

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today

07_metacognition

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today

08_question_formulation

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today

09_exploratory_probe

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today

10_conjecture_stress_test

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today

11_research_synthesis

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today

12_example_counterexample

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today

bochner_technique

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today

bounding_extremal

siddhartha-gadgil/leanaide

Trust: 70119 starssiddhartha-gadgil/leanaidev1.0.0today

cases_exhaustion

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today

compactness_gluing

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today

counting_pigeonhole

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today

density_approximation

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today

direct_contrapositive_contradiction

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today

equivalence_reduction

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today

existence_uniqueness

siddhartha-gadgil/leanaide

Trust: 70119 starssiddhartha-gadgil/leanaidev1.0.0today

generic_arguments

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today

induction_and_descent

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today

universal_property

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today

All 28 skills loaded