>_Skillful
Need help with advanced AI agent engineering?Contact FirmAdapt
research-engineering

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