Allaun Silverfox
|
724c7a71ff
|
feat(runtime): add generic Lean surface tool command router (CLAW_MCP_TOOL_CMD_MAP)
|
2026-05-26 18:25:03 -05:00 |
|
Allaun Silverfox
|
f4ef3622c3
|
feat(runtime): register ene_context_tools shim module
|
2026-05-26 18:12:56 -05:00 |
|
Allaun Silverfox
|
78268478e2
|
feat(runtime): add ENE context tool dispatch shim (command-based)
|
2026-05-26 18:11:39 -05:00 |
|
Allaun Silverfox
|
2f6cc3aa88
|
docs(runtime): update Lean manifest cmd example to ENE surface toolsJson
|
2026-05-26 18:06:56 -05:00 |
|
Allaun Silverfox
|
c37a52bbb2
|
feat(runtime): register lean_mcp_manifest module
|
2026-05-26 17:50:05 -05:00 |
|
Allaun Silverfox
|
cbe66373cc
|
feat(runtime): source tools/list from Lean manifest env var when spec.tools empty
|
2026-05-26 17:49:55 -05:00 |
|
Allaun Silverfox
|
75c1f48768
|
feat(runtime): load MCP tools list from Lean manifest JSON (shim-only)
|
2026-05-26 17:42:33 -05:00 |
|
Brandon Schneider
|
cdc6706e99
|
fix(servo-fetch): align dom query with smoothie
|
2026-05-20 23:07:32 -05:00 |
|
dependabot[bot]
|
f99015c5ad
|
Bump sha2 in /1-Distributed-Systems/agents/claw/rust
Bumps [sha2](https://github.com/RustCrypto/hashes) from 0.10.9 to 0.11.0.
- [Commits](https://github.com/RustCrypto/hashes/compare/sha2-v0.10.9...sha2-v0.11.0)
---
updated-dependencies:
- dependency-name: sha2
dependency-version: 0.11.0
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
(cherry picked from commit 01389c38c76d42f311b1192b0965010b8761d378)
|
2026-05-20 23:02:44 -05:00 |
|
dependabot[bot]
|
eb2425aaa1
|
Bump crossterm in /1-Distributed-Systems/agents/claw/rust
Bumps [crossterm](https://github.com/crossterm-rs/crossterm) from 0.28.1 to 0.29.0.
- [Release notes](https://github.com/crossterm-rs/crossterm/releases)
- [Changelog](https://github.com/crossterm-rs/crossterm/blob/master/CHANGELOG.md)
- [Commits](https://github.com/crossterm-rs/crossterm/commits/0.29)
---
updated-dependencies:
- dependency-name: crossterm
dependency-version: 0.29.0
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
(cherry picked from commit 34f19a92ddb59783f09b3f530061f8407a4c391b)
|
2026-05-20 23:01:47 -05:00 |
|
dependabot[bot]
|
7d6793ae92
|
Bump tokio
Bumps the claw-cargo-minor-patch group in /1-Distributed-Systems/agents/claw/rust with 1 update: [tokio](https://github.com/tokio-rs/tokio).
Updates `tokio` from 1.50.0 to 1.52.3
- [Release notes](https://github.com/tokio-rs/tokio/releases)
- [Commits](https://github.com/tokio-rs/tokio/compare/tokio-1.50.0...tokio-1.52.3)
---
updated-dependencies:
- dependency-name: tokio
dependency-version: 1.52.3
dependency-type: direct:production
update-type: version-update:semver-minor
dependency-group: claw-cargo-minor-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
(cherry picked from commit 71653e6c767f33b589f5a3ea497df94a5236eaca)
|
2026-05-20 23:01:47 -05:00 |
|
Brandon Schneider
|
c0641ea875
|
integrate stashed changes: math model data updates + 4 receipt dirs + container config
- Update 3-Mathematical-Models JSON datasets (NUVMAP index, mass proofs,
math_centric_samples, math_raw_summary, math_self_discovered +1.5M lines,
structural_discovery, unified_9pattern_samples, unknown_discovery_report)
- Add adjacent_coprime_classification receipt (Lean proof + manifest)
- Add codebase-memory-receipt (Rust crate + manifests)
- Add desi_model_projection receipt (Lean proofs + manifest)
- Add deterministic_build_receipt (Lean build proof)
- Add Containerfile, run-container.sh, cupfox-config.nix
- Restore .github assets and changes.zip
|
2026-05-17 12:03:19 -05:00 |
|
Brandon Schneider
|
d440fa3f47
|
Scrub tracked API key material
|
2026-05-11 22:25:43 -05:00 |
|
Brandon Schneider
|
eb50a316b4
|
Fix Dependabot dependency alerts
|
2026-05-08 15:04:30 -05:00 |
|
Brandon Schneider
|
5f88abf618
|
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
|
2026-05-04 18:11:36 -05:00 |
|