rocq-simulate-author
Create or update Rocq simulate files in this repository, including imports, executable definitions, and corresponding _eq lemmas with the project’s proof/admission conventions.
1.14k repo starsObserved in 1 repos
Development
Development skills
Browse reusable Agent Skills, each with a clear purpose and practical guidance.
nixl-python-api
Use for source-matched NIXL Python API help on agents, descriptors, metadata, transfers, polling, or cleanup. Do NOT use for install/framework setup.
1.14k repo starsObserved in 1 repos
Development
commit-message
Guide for writing clear, consistent git commit messages following this repository's conventions
1.14k repo starsObserved in 1 repos
Development
megatron-checkpoint-layout
Bilingual guidance for Megatron checkpoint 1D 2D 3D mp_rank layouts across tensor pipeline and expert parallel dimensions
1.14k repo starsObserved in 1 repos
Development
database-development
Database migrations and Drizzle ORM guidelines for the vm0 project
1.14k repo starsObserved in 1 repos
Development
feature-switch
Feature switch system guide for gating new user-facing features behind feature flags
1.14k repo starsObserved in 1 repos
Development
project-principles
Core architectural and code quality principles that guide all development decisions in the vm0 project
1.14k repo starsObserved in 1 repos
Development
report-blocks
Composable HTML block patterns for agentsociety-analysis reports — KPI strips, figure cards, Mermaid, EDA tabs, optional interactive chart iframes. Use during Stage 5 produce when authoring report_zh.html / report_en.html.
1.13k repo starsObserved in 1 repos
Development