Skip to content

Actions: proofable/mcp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 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
chore: description cleanup CI #24: Commit e1852fd pushed by chrisjleal
17s main
main
17s
fix(sync): normalize line endings in the skill parity digest CI #23: Commit d4211a2 pushed by chrisjleal
18s main
main
18s
chore: regenerate server manifest (13 public tools, proofable_proofs_… CI #22: Commit ba89749 pushed by chrisjleal
16s main
main
16s
chore: description alignment CI #21: Commit 0a31419 pushed by chrisjleal
10s main
main
10s
chore: support url & description CI #20: Commit 25b68e1 pushed by chrisjleal
9s main
main
9s
Merge branch 'main' of https://github.com/proofable/mcp CI #19: Commit 1de99fd pushed by chrisjleal
12s main
main
12s
Remove Smithery badge from README CI #18: Commit 4f3eddb pushed by chrisjleal
8s main
main
8s
Add Smithery badge to README CI #17: Commit b284bc0 pushed by chrisjleal
10s main
main
10s
chore: mark updated CI #16: Commit d323e0c pushed by chrisjleal
15s main
main
15s
chore: logo updated CI #15: Commit ab3e4d1 pushed by chrisjleal
12s main
main
12s
chore: docs cleanup Release #2: Commit d9ab5d2 pushed by chrisjleal
16s v0.1.1
v0.1.1
16s
chore: docs cleanup CI #14: Commit d9ab5d2 pushed by chrisjleal
8s main
main
8s
chore: runtime adapter/mount improvements CI #13: Commit 399e857 pushed by chrisjleal
12s main
main
12s
v .1.1 release CI #12: Commit 6c77738 pushed by chrisjleal
10s main
main
10s
chore: listing cleanup CI #11: Commit 431d576 pushed by chrisjleal
2m 3s main
main
2m 3s
chore: setup paths CI #10: Commit 3215d70 pushed by chrisjleal
10s main
main
10s
chore: install path improvement CI #9: Commit efaf501 pushed by chrisjleal
34s main
main
34s
chore: single-execution release publish (skip lifecycle scripts after… CI #8: Commit d2f50d6 pushed by chrisjleal
14s main
main
14s
chore: SEO Release #1: Commit 3135173 pushed by chrisjleal
13s v0.1.0
v0.1.0
13s
chore: SEO CI #7: Commit 3135173 pushed by chrisjleal
14s main
main
14s
chore: cleanup CI #6: Commit 98a47d7 pushed by chrisjleal
10s main
main
10s
fix(manifests): align plugin description across Claude, Codex, Cursor… CI #5: Commit f32a5b9 pushed by chrisjleal
13s main
main
13s
chore: restore em dash in validation error message CI #4: Commit 2486c75 pushed by chrisjleal
11s main
main
11s
fix(scripts): restore em dash in cursor-mcp validation error CI #3: Commit 60cc82a pushed by chrisjleal
10s main
main
10s
chore: cleanup CI #2: Commit 302ae4d pushed by chrisjleal
12s main
main
12s