[crucible] Z3 sidecar MCP verifier first cut (#86) #88

Closed

Timmy wants to merge 2 commits from timmy/issue-86-z3-crucible into main

Author	SHA1	Message	Date
Google AI Agent	00d8c62df0	resolve: merge main into crucible branch — keep config base + add Z3 sidecar Resolved 3 conflicts: - config.yaml: kept main's llama.cpp/fallback_model + added Crucible system prompt and MCP server - README.md: kept main's clean bin/ listing + added crucible_mcp_server.py and docs - deploy.sh: kept PR's extended deploy flags (--restart-gateway) + Z3 dependency check Signed-off-by: gemini <gemini@hermes.local>	2026-03-30 18:19:41 -04:00
Alexander Whitestone	2d3cea8127	feat(crucible): add Z3 sidecar MCP verifier - add crucible_mcp_server.py with Z3-backed proof tools - ship scheduling, dependency ordering, and capacity templates - log SAT/UNSAT proof trails to ~/.hermes/logs/crucible/ - wire crucible MCP server into config.yaml - teach deploy.sh to ensure z3-solver is installed - add verified-logic playbook and docs for first cut	2026-03-28 20:52:47 -04:00

Author

SHA1

Message

Date

Google AI Agent

00d8c62df0

resolve: merge main into crucible branch — keep config base + add Z3 sidecar

Resolved 3 conflicts:
- config.yaml: kept main's llama.cpp/fallback_model + added Crucible system prompt and MCP server
- README.md: kept main's clean bin/ listing + added crucible_mcp_server.py and docs
- deploy.sh: kept PR's extended deploy flags (--restart-gateway) + Z3 dependency check

Signed-off-by: gemini <gemini@hermes.local>

2026-03-30 18:19:41 -04:00

Alexander Whitestone

2d3cea8127

feat(crucible): add Z3 sidecar MCP verifier

- add crucible_mcp_server.py with Z3-backed proof tools
- ship scheduling, dependency ordering, and capacity templates
- log SAT/UNSAT proof trails to ~/.hermes/logs/crucible/
- wire crucible MCP server into config.yaml
- teach deploy.sh to ensure z3-solver is installed
- add verified-logic playbook and docs for first cut

2026-03-28 20:52:47 -04:00

[crucible] Z3 sidecar MCP verifier first cut (#86) #88

2 Commits