Skip to content

Actions: mizchi/skills

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
formal-methods-reconciler: reproduce witnesses, add reference impleme… skills #27: Commit f03585c pushed by mizchi
10s main
main
10s
Merge branch 'maintainer-persona' skills #26: Commit 0c7c1e6 pushed by mizchi
16s main
main
16s
Add maintainer-persona skill skills #25: Commit ed3e422 pushed by mizchi
14s maintainer-persona
maintainer-persona
14s
Adopt JevSlop's genericness as the Layer B index; it measures 7x the … skills #24: Commit a3f2f1b pushed by mizchi
11s main
main
11s
Adopt JevSlop's genericness as the Layer B index; it measures 7x the gap of the question it replaces skills #23: Pull request #13 opened by mizchi
10s claude/modest-feynman-cqoucp
claude/modest-feynman-cqoucp
10s
Adopt JevSlop's genericness as the index; it measures 7x B1's gap skills #22: Commit 6099317 pushed by mizchi
11s claude/modest-feynman-cqoucp
claude/modest-feynman-cqoucp
11s
Merge pull request #12 from mizchi/claude/modest-feynman-cqoucp skills #21: Commit a7e332c pushed by mizchi
15s main
main
15s
Add natural-writing-ja/en and ai-index; rebuild mizchi-blog-style on discourse shape skills #20: Pull request #12 opened by mizchi
11s claude/modest-feynman-cqoucp
claude/modest-feynman-cqoucp
11s
Keep the worked example and the evidence behind it skills #19: Commit 65e6d29 pushed by mizchi
11s claude/modest-feynman-cqoucp
claude/modest-feynman-cqoucp
11s
Add "numbers are read by their unit, not their count" skills #18: Commit 068e4ea pushed by mizchi
11s claude/modest-feynman-cqoucp
claude/modest-feynman-cqoucp
11s
Fix the choice-vs-score numerator and name every denominator skills #17: Commit d329eb9 pushed by mizchi
10s claude/modest-feynman-cqoucp
claude/modest-feynman-cqoucp
10s
Record that one-sentence paragraphs are the LONG ones skills #16: Commit 4cd5bee pushed by mizchi
11s claude/modest-feynman-cqoucp
claude/modest-feynman-cqoucp
11s
Rebuild mizchi-blog-style on discourse shape instead of marker rates skills #15: Commit 1b84215 pushed by mizchi
10s claude/modest-feynman-cqoucp
claude/modest-feynman-cqoucp
10s
Correct the tricolon false-positive breakdown skills #14: Commit 0297ec8 pushed by mizchi
19s claude/modest-feynman-cqoucp
claude/modest-feynman-cqoucp
19s
Add natural-writing-ja/en and ai-index skills; recalibrate mizchi-blo… skills #13: Commit d431c7b pushed by mizchi
14s claude/modest-feynman-cqoucp
claude/modest-feynman-cqoucp
14s
Fix leftover category paths in skill cross-references skills #12: Commit aa223d8 pushed by mizchi
10s main
main
10s
Refresh MoonBit skills for v0.10.12 and bump stale tool versions (#11) skills #11: Commit 66dadd9 pushed by mizchi
11s main
main
11s
Refresh MoonBit skills for v0.10.12 and bump stale tool versions skills #10: Pull request #11 synchronize by mizchi
12s claude/upbeat-davinci-jtw0fx
claude/upbeat-davinci-jtw0fx
12s
Fix defects the second eval round surfaced in the MoonBit references skills #9: Commit c9cc5eb pushed by mizchi
10s claude/upbeat-davinci-jtw0fx
claude/upbeat-davinci-jtw0fx
10s
Refresh MoonBit skills for v0.10.12 and bump stale tool versions skills #8: Pull request #11 synchronize by mizchi
12s claude/upbeat-davinci-jtw0fx
claude/upbeat-davinci-jtw0fx
12s
Correct the Debug rendering table against the upstream doc samples skills #7: Commit b63d22a pushed by mizchi
12s claude/upbeat-davinci-jtw0fx
claude/upbeat-davinci-jtw0fx
12s
Refresh MoonBit skills for v0.10.12 and bump stale tool versions skills #6: Pull request #11 opened by mizchi
14s claude/upbeat-davinci-jtw0fx
claude/upbeat-davinci-jtw0fx
14s
Refresh MoonBit skills for v0.10.12 and bump stale tool versions skills #5: Commit 7a345eb pushed by mizchi
13s claude/upbeat-davinci-jtw0fx
claude/upbeat-davinci-jtw0fx
13s
Document MoonBit Skills Marketplace (#10) skills #4: Commit 7a0d728 pushed by mizchi
11s main
main
11s
Document MoonBit Skills Marketplace skills #3: Pull request #10 opened by mizchi
11s agent/document-moonbit-skills-marketplace
agent/document-moonbit-skills-marketplace
11s