Yakha Futhi Usebenzise i-Open Math Harness: Isifundo Esisebenzayo se-Nucleus

Yini i-Open Math Harness?

I-Open Math Harness iyisistimu esebenza ngesikhathi sokusebenza, ewumthombo ovulekile, engemuva kwe-Open Math OS. Isizukulwane sayo sokuqala, esibizwa nge-Nucleus, sibhalwe nge-Rust futhi siqukethe i-kernel, izinsizakalo, nama-agent asetshenziswa yinkundla.

Le runtime yakhelwe ucwaningo lwezibalo olwenziwa ngokubambisana. Ingasekela ama-agent asebenza kumamodeli anesisindo esivulekile, ukuhlola izinkinga ngokuhambisana nge-Ultramath, ukusesha ubufakazi obuqinisekiswe yi-Lean, inkumbulo yephrojekthi, amathuluzi, kanye nokugunyazwa ngumuntu kwezenzo ezivikelekile.

Umkhawulo wamanje: i-runtime ephelele incike endaweni yokuphakela ye-Open Math OS. I-repository ingakhiwa kusuka kumthombo futhi ihlanganisa isibonelo esincane esizimele, kodwa okwamanje ayinikezi indawo yasendaweni ezimele yama-agent asebenzisanayo, i-Ultramath, inkumbulo, noma ukusesha ubufakazi.

Idizayini Eyinhloko Nezici

Ukuvinjelwa Okusekelwe Kumandla

I-Open Math Harness isebenzisa i-microkernel esekelwe kumandla. Inqubo ngayinye ithola kuphela igunya elinikezwe ukwakheka kwayo, futhi noma iyiphi inqubo eyiqalayo ayitholi igunya elidlula lelo umzali angalidlulisela. Lokhu kusebenza kuma-agent nakwezinye izinhlelo.

Izimpendulo zamamodeli, imiphumela yamathuluzi, amafayela e-repository, kanye neminye imibhalo kuthathwa njengokufakwayo okungathembekile. Umbhalo awukwazi ukunikeza izimvume, ukugunyaza izenzo ezivikelekile, noma ukunquma ukuthi ubufakazi buyasebenza yini. Imininingwane yokungena igcinwa kubahlinzeki abanamalungelo amancane kakhulu, kunokuba ivezwe kumamodeli, kumarekhodi ezingxoxo, noma kuma-log.

Ama-Agent Namathuluzi Ocwaningo

• Ama-agent amamodeli avulekile: Amaseshini angasebenzisa amamodeli anesisindo esivulekile anezimpendulo ezisakazwayo, amathuluzi, ama-agent angaphansi, nomlando ogcinwayo.
• Ultramath: Ama-agent amaningi ahlola ngokungavumelanisi izindlela ezihlukene zenkinga enzima, abelane ngemiphumela, futhi athumele imibiko ku-agent ehlelayo.
• Ukusesha ubufakazi: Abasebenzi bahlola amagatsha esihlahleni sobufakazi be-Lean obungaba khona. Oqokelwe uyaphumelela kuphela uma u-Lean ewuqinisekisa ngokumelene nesitatimende sokuqala.
• Amathuluzi ephrojekthi: Ama-agent angasebenza ngamafayela e-repository, i-shell, amathuluzi ewebhu nawe-PDF, amakhono ephrojekthi, amaseva e-MCP, nama-plugin.
• Ukulawulwa ngumuntu: Izenzo ezivikelekile zilinda ukugunyazwa, kuyilapho amarekhodi eseshini eskenwa ukuze kutholakale izimfihlo ngaphambi kokuba aboniswe.

Inkumbulo Yephrojekthi

Inkumbulo igcinwa ngokwehlukana kuphrojekthi ngayinye. Ngemva kokuba iseshini ithule, insizakalo yenkumbulo ingakhipha izinto eziwusizo emlandweni wayo futhi ihlanganise ulwazi olukhethiwe ku-MEMORY.md. Amaseshini alandelayo athola le nkumbulo njengomongo futhi acaphune izinto azisebenzisayo.

Inkumbulo inikeza umongo kuphela. Ayikwazi ukunikeza izimvume noma yeqe imiyalelo yamanje yomsebenzisi.

Izidingo Zokuqala

Ngaphambi kokwakha i-Open Math Harness, lungisa indawo ye-Linux esekelwayo enalezi zincikelelo:

• Linux: I-Windows ne-macOS azisekelwa njengabasingathi bomdabu be-runtime.
• Amathuluzi okwakha omdabu: Faka i-compiler ne-linker ye-C yezincikelelo zomdabu.
• I-Rust nge-rustup: I-rust-toolchain.toml ye-repository ikhetha i-toolchain edingekayo futhi ihlanganisa izingxenye zokufometha nokuhlola amaphutha.
• bubblewrap: Faka i-bwrap, uyibeke ku-PATH, futhi uqinisekise ukuthi umsingathi uvumela ama-user namespace angenawo amalungelo akhethekile.

Ukuvinjelwa kuyimpoqo. Uma i-bubblewrap ingakwazi ukudala i-sandbox ngenxa yenqubomgomo yokuphepha yomsingathi, i-runtime izohluleka ngesikhathi iqala.

Yakha i-Open Math Harness Kusuka Kumthombo

Clone-a i-repository, ngena ku-directory yayo, bese wakha yonke i-workspace ye-Rust:

git clone https://github.com/openmathmodel/open-math-harness.git
cd open-math-harness
cargo build --locked --workspace

Inketho ye---locked yenza i-Cargo isebenzise izinguqulo zezincikelelo ezirekhodiwe ku-lockfile. Ngemva kokwakha ngempumelelo, ama-binary esiqalisi nawezinsizakalo atholakala ngaphansi kwe-target/debug/.

Amafayela angaphansi kwe-deploy/vm/ aqondiswe kumshini obonakalayo ophethwe yi-Open Math OS. Awasona isifaki esizimele sekhompyutha yomuntu siqu.

Qalisa Isibonelo Esizimele Se-Slice

I-repository ihlanganisa isibonelo esiqhutshwa ngeskripthi ngaphansi kwe-examples/slice/. Siqalisa i-agent, isisebenzi, kanye nensizakalo yesistimu yamafayela ukuze sibonise ukuhlolwa kwamandla nokudluliselwa kwawo.

Lesi sibonelo asixhumani nomhlinzeki wemodeli futhi asidingi imininingwane yokungena yemodeli noma ukuphakelwa kwe-Open Math OS. Futhi asiqalisi ingxoxo esebenzisanayo, i-Ultramath, inkumbulo, noma ukusesha ubufakazi. I-Linux kanye nokuvinjelwa okusebenzayo kwe-bubblewrap kusadingeka.

Isinyathelo 1: Qalisa Isibonelo

Kusuka empandeni ye-repository, sebenzisa:

cargo run --locked --manifest-path cli/Cargo.toml -- run examples/slice/config.json

Isinyathelo 2: Qonda Umboniso

Ngesikhathi sokusebenza, i-agent eqhutshwa ngeskripthi yenza izinhlobo ezintathu ezibalulekile zomsebenzi:

1. Ifunda amafayela amandla ewavumelayo ukuthi iwafinyelele.
2. Ilinga imisebenzi i-kernel eyenqabayo ngoba yeqa igunya layo.

Lokhu kwenza isibonelo se-slice sibe umbukiso omfishane womthetho oyinhloko wephrojekthi: inqubo ingasebenzisa futhi idlulisele kuphela amandla enawo ngempela.

Isinyathelo 3: Hlola Imiphumela

Ngemva kokusebenza, hlola amarekhodi ezingxoxo e-agent nesisebenzi:

examples/slice/out/agent/transcript.jsonl
examples/slice/out/agent/worker/transcript.jsonl

Insizakalo yesistimu yamafayela igcina ngokwehlukana izingcingo eyizamukelayo:

examples/slice/log/access.jsonl

Isibonelo siphinde sidale lo mbiko:

examples/slice/data/work/report.txt

Qhathanisa imibhalo eqoshiwe nelogi yokufinyelela kusistimu yamafayela ukuze ubone ukuthi yikuphi ukusebenza okuceliwe, okwabelwe abanye, okwamukelwe, noma okunqatshiwe.

Phinda Usebenzise Isibonelo

Ifayela elakhiwe report.txt lithinta ukusetshenziswa okuphindaphindiwe. Lisuse ngaphambi kokuphinda usebenzise isibonelo uma ufuna ukudalwa kombiko kuphumelele futhi:

rm examples/slice/data/work/report.txt
cargo run --locked --manifest-path cli/Cargo.toml -- run examples/slice/config.json

Ukugcina imibhalo eqoshiwe namafayela elogi amadala kusengaba wusizo lapho uqhathanisa ukuziphatha phakathi kokusetshenziswa okuhlukene, ngakho hlola izinkomba zemiphumela ngaphambi kokususa ezinye izinto.

Qalisa Iqoqo Lokuhlola

Ngemva kokwakha i-workspace, qalisa ukuhlolwa okuzenzakalelayo kwe-Rust usuka empandeni yenqolobane:

cargo test --workspace

Iqoqo lokuhlola elizenzakalelayo alidingi ama-API amamodeli akhokhelwayo noma iziqinisekiso zokukhiqiza. Ezinye izivivinyo zokuhlanganisa ziqalisa izinqubo zezingane zangempela futhi zisebenzisa i-bubblewrap, ngakho kuyasebenza izimfuneko ezifanayo zokuvalelwa ku-Linux.

Izivivinyo ezidinga abahlinzeki bamamodeli bangaphandle noma ukufakwa kwe-Lean zikhethwa ngokusobala. Ukugeleza komsebenzi kwe-CI kwenqolobane kuchaza nokuhlolwa kokufometha, kwe-Clippy, kwamathuluzi e-Python, nokuhlanganiswa kwe-Node.js MCP.

Ukusetshenziswa Okuthuthukile Namathiphu Okuthuthukisa

Sebenzisa Amalogi Ukuze Ufunde Imingcele Yamakhono

Isibonelo se-slice sisebenza kakhulu lapho amafayela aso e-JSON Lines ethathwa njengerekhodi lokucwaninga. Buyekeza ndawonye umbhalo oqoshiwe we-agent, umbhalo oqoshiwe we-worker, nelogi yokufinyelela kusistimu yamafayela. Lokhu kuveza indlela ukufinyelela okwabelwe abanye okuncipha ngayo nokuthi i-kernel ikwenqaba kanjani ukusebenza okungaphandle kwegunya elinikeziwe.

Gcina Izimfuneko Zokuthunyelwa Zihlukile

Ukwakha i-workspace akukhiqizi ngokuzenzakalelayo ukufakwa okuphelele kwasendaweni kwe-Open Math OS. Ama-agent asebenzisanayo adinga futhi ukumiswa kwesevisi, iziqinisekiso zomhlinzeki wemodeli, kanye ne-client. Ukuseshwa kobufakazi nakho kudinga indawo ye-Lean ne-Mathlib emiswe kahle.

Gwema ukuphatha ukumiswa kwe-VM ephethwe ku-deploy/vm/ njengombhalo wokufaka ojwayelekile. Inqolobane okwamanje ichaza isibonelo se-slice njengomboniso wendawo ozimele osekwayo.

Gcina Ukuxazululwa Kwe-Cargo Okuphindaphindekayo

Sebenzisa i---locked nemiyalo yokwakha nokusebenzisa ebhaliwe. Lokhu kugcina ukuxazululwa kokuncika kuhambisana nefayela lokukhiya lenqolobane futhi kunciphisa umehluko ongalindelekile phakathi kwezindawo.

Qinisekisa Ukuvalelwa Kusenesikhathi

Uma ukuqalisa kwehluleka, hlola i-bubblewrap ngaphambi kokulungisa iphutha lezinsizakalo ezisezingeni eliphezulu. Qinisekisa ukuthi i-bwrap iku-PATH nokuthi inqubomgomo yezokuphepha yomphathi ivumela izikhala zamagama zabasebenzisi abangamalungelo akhethekile. Isikhathi sokusebenza asiqhubeki ngamabomu ngaphandle kokuvalelwa okudingekayo.

Qonda Umngcele Wokuqinisekisa Ubufakazi

Ekwakhiweni okugcwele, ukuzethemba kwe-agent akusho ukuthi ithiyori ifakazelwe. Ubufakazi obuphakanyisiwe buhlolwa ezindaweni zokusebenza ezivalelwe ezinemikhawulo yesikhathi, bese u-Lean enquma ukuthi buyaphumelela yini. Amarekhodi okusesha agcina umsebenzi ophakanyisiwe ukuze imijikelezo yakamuva iqhubeke isuka emagatsheni angaphambilini.

Landela Ukuhlolwa Kwabanikeli

Ngaphambi kokuphakamisa izinguquko, buyekeza i-CONTRIBUTING.md kanye nokugeleza komsebenzi kwe-CI kwenqolobane. Umhlahlandlela wabanikeli uchaza ukuhlola, ukubuyekezwa kwe-AI, kanye nolwazi olulindelekile ezicelweni zokuhlanganisa.

Isiphetho

I-Open Math Harness ihlinzeka ngesisekelo sesikhathi sokusebenza esigxile kwezokuphepha se-Open Math OS. Nakuba indawo yokusebenzisana ephelele ingakatholakali njengokusethwa kwendawo okuzimele, ungakha i-workspace ye-Nucleus, usebenzise isibonelo sayo se-slice esizimele, uhlole ukuphoqelelwa kwamakhono, futhi usebenzise izivivinyo ezizenzakalelayo. Lezi zinyathelo zinikeza isingeniso esisebenzayo somgomo oyinhloko wesikhathi sokusebenza: ama-agent aphakamisa futhi asebenze ngaphakathi kwegunya elicacile, kuyilapho abantu nabaqinisekisi abathembekile begcina ukulawula.