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.08d ago
diagram_chase
Scanned
siddhartha-gadgil/leanaide
Trust: 40121 starssiddhartha-gadgil/leanaidev1.0.08d ago
02_inspect_triage
Scanned
siddhartha-gadgil/leanaide
Trust: 40120 starssiddhartha-gadgil/leanaidev1.0.08d ago
03_source_study
Scanned
siddhartha-gadgil/leanaide
Trust: 67119 starssiddhartha-gadgil/leanaidev1.0.08d ago
04_strategy_gen
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.08d ago
05_execute_step
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.08d ago
06_verify
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.08d ago
08_question_formulation
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.08d ago
09_exploratory_probe
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.08d ago
10_conjecture_stress_test
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.08d ago
11_research_synthesis
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.08d ago
12_example_counterexample
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.08d ago
bochner_technique
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.08d ago
bounding_extremal
Scanned
siddhartha-gadgil/leanaide
Trust: 70119 starssiddhartha-gadgil/leanaidev1.0.08d ago
cases_exhaustion
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.08d ago
compactness_gluing
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.08d ago
correctness
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.08d ago
counting_pigeonhole
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.08d ago
density_approximation
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.08d ago
direct_contrapositive_contradiction
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.08d ago
epsilon_delta
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.08d ago
equivalence_reduction
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.08d ago
existence_uniqueness
Scanned
siddhartha-gadgil/leanaide
Trust: 70119 starssiddhartha-gadgil/leanaidev1.0.08d ago
generic_arguments
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.08d ago
induction_and_descent
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.08d ago
invariants
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.08d ago
universal_property
Scanned
siddhartha-gadgil/leanaide
Trust: 40119 starssiddhartha-gadgil/leanaidev1.0.08d ago
01_deconstruct
Scanned
siddhartha-gadgil/leanaide
Trust: 67118 starssiddhartha-gadgil/leanaidev1.0.01d ago
All 28 skills loaded