Unverified50% confidenceReleaseExact time
The Osprey project code has been open-sourced on GitHub (https://github.com/LeanModels/Osprey).
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
9/11/2026
First Seen
Valid until: 12/10/2026
Sources
Related Entities
Related Claims
UnverifiedThe Crew project code has been open-sourced on GitHub at github.com/Onnokh/crew.72% similarUnverifiedGitHub上的Legendary_OSINT资源库由用户K2SOsint维护71% similarUnverifiedThe Squint project code has been made public on GitHub (github.com/aalmuzairee/squint), and the paper has been published on arXiv.69% similarVerified该项目已在GitHub开源69% similarUnverifiedGitHub user wtedw developed the open-source project nanoAlphaZero, a complete single-file AlphaZero implementation written in JAX.68% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/893138API
curl https://kongchang.com/api/v1/knowledge/claims/893138MCP
get_claim(id=893138)