vskill
SkillsStudioOur approachDocs
Resources
WatchSubmitPublishersTrust centerQueueInsightsDesktop app
Login
vskill

Focused expertise. Inspectable evidence.

SkillsStudioWatchPublishersTrustDocsQueueSubmitInsightsGitHubnpmSpecWeave

MIT License

← All publishers
──r-irbe
42 skillsAvg Trust: 682 total stars
42 skills
ai-agentic-evolving
Scanned
r-irbe/proof-skills
Trust: 69r-irbe/proof-skillsv1.0.0today
ai-commonsense-reasoning
Scanned
r-irbe/proof-skills
Trust: 702 starsr-irbe/proof-skillsv1.0.0today
ai-high-stakes-verifiable
Scanned
r-irbe/proof-skills
Trust: 69r-irbe/proof-skillsv1.0.0today
ai-symbolic-neuro
Scanned
r-irbe/proof-skills
Trust: 692 starsr-irbe/proof-skillsv1.0.0today
applied-engineering-disciplines
Scanned
r-irbe/proof-skills
Trust: 672 starsr-irbe/proof-skillsv1.0.0today
applied-intelligence-analysis
Scanned
r-irbe/proof-skills
Trust: 672 starsr-irbe/proof-skillsv1.0.0today
applied-strategy-analysis
Scanned
r-irbe/proof-skills
Trust: 672 starsr-irbe/proof-skillsv1.0.0today
lean-applied-reasoning
Scanned
r-irbe/proof-skills
Trust: 67r-irbe/proof-skillsv1.0.0today
lean-bisect
Scanned
r-irbe/proof-skills
Trust: 672 starsr-irbe/proof-skillsv1.0.0today
lean-blueprint
Scanned
r-irbe/proof-skills
Trust: 67r-irbe/proof-skillsv1.0.0today
lean-build
Scanned
r-irbe/proof-skills
Trust: 69r-irbe/proof-skillsv1.0.0today
lean-competitive-math
Scanned
r-irbe/proof-skills
Trust: 402 starsr-irbe/proof-skillsv1.0.0today
lean-doc-feedback
Scanned
r-irbe/proof-skills
Trust: 692 starsr-irbe/proof-skillsv1.0.0today
lean-doc-improvement
Scanned
r-irbe/proof-skills
Trust: 672 starsr-irbe/proof-skillsv1.0.0today
lean-doc-requirements
Scanned
r-irbe/proof-skills
Trust: 672 starsr-irbe/proof-skillsv1.0.0today
lean-enforcement
Scanned
r-irbe/proof-skills
Trust: 67r-irbe/proof-skillsv1.0.0today
lean-gateway
Scanned
r-irbe/proof-skills
Trust: 692 starsr-irbe/proof-skillsv1.0.0today
lean-integration-protocol
Scanned
r-irbe/proof-skills
Trust: 672 starsr-irbe/proof-skillsv1.0.0today
lean-knowledge-formalization
Scanned
r-irbe/proof-skills
Trust: 692 starsr-irbe/proof-skillsv1.0.0today
lean-math-analysis
Scanned
r-irbe/proof-skills
Trust: 702 starsr-irbe/proof-skillsv1.0.0today
lean-math-dynamical
Scanned
r-irbe/proof-skills
Trust: 692 starsr-irbe/proof-skillsv1.0.0today
lean-math-foundations
Scanned
r-irbe/proof-skills
Trust: 692 starsr-irbe/proof-skillsv1.0.0today
lean-math-optimization
Scanned
r-irbe/proof-skills
Trust: 69r-irbe/proof-skillsv1.0.0today
lean-package-research
Scanned
r-irbe/proof-skills
Trust: 67r-irbe/proof-skillsv1.0.0today
lean-proof
Scanned
r-irbe/proof-skills
Trust: 692 starsr-irbe/proof-skillsv1.0.0today
lean-quality-engine
Scanned
r-irbe/proof-skills
Trust: 692 starsr-irbe/proof-skillsv1.0.0today
lean-research
Scanned
r-irbe/proof-skills
Trust: 692 starsr-irbe/proof-skillsv1.0.0today
lean-retro-methodology
Scanned
r-irbe/proof-skills
Trust: 67r-irbe/proof-skillsv1.0.0today
lean-security-formalization
Scanned
r-irbe/proof-skills
Trust: 67r-irbe/proof-skillsv1.0.0today
lean-setup
Scanned
r-irbe/proof-skills
Trust: 692 starsr-irbe/proof-skillsv1.0.0today