onsager-ai

3 sources20 skills1.4K total installs Github

Github

Github

Source

Installs

dev-skills

18 skills: codegraph, github-integration, git-commit +15 more

onsager-skills

1 skill: plan-dag

duhem

1 skill: verification-authoring