vskill
SkillsStudioOur approachDocs
Resources
WatchSubmitPublishersTrust centerQueueInsightsDesktop app
Login
vskill

Focused expertise. Inspectable evidence.

SkillsStudioWatchPublishersTrustDocsQueueSubmitInsightsGitHubnpmSpecWeave

MIT License

← All publishers
──siddhartha-gadgil
28 skillsAvg Trust: 44121 total stars
28 skills
07_metacognition
Scanned
siddhartha-gadgil/leanaide
Trust: 40121 starssiddhartha-gadgil/leanaidev1.0.01d ago
diagram_chase
Scanned
siddhartha-gadgil/leanaide
Trust: 40121 starssiddhartha-gadgil/leanaidev1.0.01d ago
02_inspect_triage
Scanned
siddhartha-gadgil/leanaide
Trust: 40120 starssiddhartha-gadgil/leanaidev1.0.01d ago
03_source_study
Scanned
siddhartha-gadgil/leanaide
Trust: 67119 starssiddhartha-gadgil/leanaidev1.0.01d ago
04_strategy_gen
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today
05_execute_step
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today
06_verify
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.01d ago
08_question_formulation
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today
09_exploratory_probe
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today
10_conjecture_stress_test
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today
11_research_synthesis
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today
12_example_counterexample
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today
bochner_technique
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.01d ago
bounding_extremal
Scanned
siddhartha-gadgil/leanaide
Trust: 70119 starssiddhartha-gadgil/leanaidev1.0.0today
cases_exhaustion
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.01d ago
compactness_gluing
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today
correctness
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.01d ago
counting_pigeonhole
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today
density_approximation
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today
direct_contrapositive_contradiction
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.01d ago
epsilon_delta
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.01d ago
equivalence_reduction
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today
existence_uniqueness
Scanned
siddhartha-gadgil/leanaide
Trust: 70119 starssiddhartha-gadgil/leanaidev1.0.0today
generic_arguments
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.01d ago
induction_and_descent
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today
invariants
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.01d ago
universal_property
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.0today
01_deconstruct
Scanned
siddhartha-gadgil/leanaide
Trust: 67118 starssiddhartha-gadgil/leanaidev1.0.05d ago
All 28 skills loaded