Skip to content

Actions: angrysky56/mcp-logic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
41 workflow runs
41 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
feat: add faithfulness detector to validate formalization alignment w… CI #31: Commit b11999d pushed by angrysky56
34s main
main
34s
feat: implement automatic SMT-LIB re-translation for arithmetic formu… CI #30: Commit 9754245 pushed by angrysky56
33s main
main
33s
refactor: replace boolean verification flags with an epistemic status… CI #29: Commit 37fc660 pushed by angrysky56
38s main
main
38s
Graph Update: uv in /. #1521749574 Dependency Graph #10: by dependabot Bot
56s main
main
56s
fix: promote z3-solver to a required dependency and add runtime insta… CI #28: Commit daee838 pushed by angrysky56
35s main
main
35s
Graph Update: uv in /. #1521737410 Dependency Graph #9: by dependabot Bot
44s main
main
44s
fix: ensure all exceptions are caught in tool handlers and add contra… CI #27: Commit 1badd38 pushed by angrysky56
28s main
main
28s
Graph Update: uv in /. #1521607644 Dependency Graph #8: by dependabot Bot
42s main
main
42s
feat: add soundness tests for BSR classification and cap mcp dependen… CI #26: Commit 846ae53 pushed by angrysky56
31s main
main
31s
Package 1 is implemented and verified. CI #25: Commit ab10a25 pushed by angrysky56
32s main
main
32s
Completed fixes: CI #24: Commit 8482696 pushed by angrysky56
58s main
main
58s
feat: add support for parsing and analyzing immutable first-order log… CI #23: Commit b934899 pushed by angrysky56
51s main
main
51s
Graph Update: uv in /. #1521153141 Dependency Graph #7: by dependabot Bot
43s main
main
43s
refactor: replace relational categorical axioms with equational ones … CI #22: Commit c2872f5 pushed by angrysky56
32s main
main
32s
Graph Update: uv in /. #1521016608 Dependency Graph #6: by dependabot Bot
1m 0s main
main
1m 0s
feat: implement result caching, idle VRAM unloading, and counterexamp… CI #21: Commit 3900aca pushed by angrysky56
35s main
main
35s
Improve solver error handling, add robustness against unterminated th… CI #20: Commit 2ec210c pushed by angrysky56
43s main
main
43s
style: reformat codebase with consistent indentation and spacing CI #19: Commit 74cafed pushed by angrysky56
32s main
main
32s
feat: implement auto-repair and syntax normalization for logic adviso… CI #18: Commit c7f5b2c pushed by angrysky56
36s main
main
36s
refactor: cleanup imports and reformat long argument lists in logic a… CI #17: Commit 723e65d pushed by angrysky56
32s main
main
32s
Graph Update: uv in /. #1520490333 Dependency Graph #5: by dependabot Bot
1m 1s main
main
1m 1s
feat: implement logic advisor module, add setup scripts, and update d… CI #16: Commit dae135a pushed by angrysky56
43s main
main
43s
feat: add set-level arity consistency validation to formula validator CI #15: Commit 0fdac02 pushed by angrysky56
40s main
main
40s
refactor: adjust project execution directory and command to run as a … CI #14: Commit c753c65 pushed by angrysky56
33s main
main
33s
feat: add vacuity detection to Mace4 model parsing to flag degenerate… CI #13: Commit b83842a pushed by angrysky56
39s main
main
39s