research-engineering
Organization@research-engineering
Open-source infrastructure for agentic software research, proof workflows, harnesses, and experimental engineering systems.
On GitHub since July 2026
1
Published Tools
0
Total Stars
0
Weekly Downloads
0
GitHub Followers
1
Public Repos
Published Tools
1 Agentacross 1 category@research-engineering/agentic-proofkit
w25x80
Reusable proof profile, report, graph, and witness-planning primitives.
Agentai-agents
1 dir