Model-directed mathematical physics research with durable agents, formalization and independent proof acceptance. Development platform; qualification in progress.
Python Updated 24 days ago 1 commits
quark-coder|Mirror: zubadestroyer1/PhysHarness2 (⭐0)
24 days agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Model-directed mathematical physics research with durable agents, formalization and independent proof acceptance. Development platform; qualification in progress.
Readme