293 kB

Ctrl+K

1 contributor

History: 9 commits

SNAPKITTYWEST

Add license change record (AGPL-3.0, co-owner consent)

bba2cf8 verified 2 days ago

.github
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy 3 months ago
examples
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy 3 months ago
kernel
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy 3 months ago
lean4
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy 3 months ago
nemotron-harness
Add nemotron harness source: Modelfile, kernel gates, corpus policy, Lean4, sovereign_crypto 3 months ago
prompts
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy 3 months ago
src
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy 3 months ago
tests
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy 3 months ago
.env.example

183 Bytes
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy 3 months ago
.gitattributes

1.52 kB
initial commit 3 months ago
.gitignore

119 Bytes
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy 3 months ago
LICENSE

34.5 kB
Relicense to AGPL-3.0 with commercial license option 2 days ago
LICENSE-CHANGE.md

950 Bytes
Add license change record (AGPL-3.0, co-owner consent) 2 days ago
Modelfile

1.54 kB
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy 3 months ago
README.md

1.16 kB
Relicense to AGPL-3.0 with commercial license option 2 days ago
harness.config.json

674 Bytes
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy 3 months ago
index.html

13.1 kB
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy 3 months ago
package.json

601 Bytes
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy 3 months ago
server.ts

20.8 kB
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy 3 months ago
trust-deed.json

5.11 kB
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy 3 months ago
tsconfig.json

320 Bytes
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy 3 months ago
vite.config.ts

157 Bytes
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy 3 months ago