CEisenhofer 13d6ab4fbd Merge remote-tracking branch 'origin/master' into c3		2026-08-08 14:40:03 -07:00
..
actions	Remove z3_tptp5 example build steps from GitHub Actions	2026-07-29 15:53:08 -07:00
agentics
agents
aw	Merge branch 'master' into c3	2026-08-07 03:14:32 +02:00
prompts
scripts
skills
workflows	remove stale workflows	2026-08-07 21:49:37 -07:00
CI_MIGRATION.md
CI_TESTING.md
copilot-instructions.md
dependabot.yml
mcp.json