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.025d ago

02_inspect_triage

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.02d ago

03_source_study

siddhartha-gadgil/leanaide

Trust: 67119 starssiddhartha-gadgil/leanaidev1.0.02d ago

04_strategy_gen

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.02d ago

05_execute_step

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.02d ago

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.02d ago

07_metacognition

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.02d ago

08_question_formulation

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.02d ago

09_exploratory_probe

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.02d ago

10_conjecture_stress_test

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.02d ago

11_research_synthesis

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.02d ago

12_example_counterexample

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.02d ago

bochner_technique

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.02d ago

bounding_extremal

siddhartha-gadgil/leanaide

Trust: 70119 starssiddhartha-gadgil/leanaidev1.0.02d ago

cases_exhaustion

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.02d ago

compactness_gluing

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.02d ago

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.02d ago

counting_pigeonhole

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.02d ago

density_approximation

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.02d ago

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.02d ago

direct_contrapositive_contradiction

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.02d ago

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.02d ago

equivalence_reduction

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.02d ago

existence_uniqueness

siddhartha-gadgil/leanaide

Trust: 70119 starssiddhartha-gadgil/leanaidev1.0.02d ago

generic_arguments

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.02d ago

induction_and_descent

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.02d ago

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.02d ago

universal_property

siddhartha-gadgil/leanaide

Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.02d ago

All 28 skills loaded