research-engineering
Open-source infrastructure for agentic software research, proof workflows, harnesses, and experimental engineering systems.
Popular repositories Loading
-
agentic-proofkit
agentic-proofkit PublicCLI/JSON toolkit for repo-owned requirements, proof bindings, test evidence, coverage views, and bounded agent guidance.
Go
-
agent-operating-standards
agent-operating-standards PublicAgent operating standards for documentation, artifacts, issues, pull requests, and repository workflows.
Repositories
Showing 2 of 2 repositories
- agentic-proofkit Public
CLI/JSON toolkit for repo-owned requirements, proof bindings, test evidence, coverage views, and bounded agent guidance.
- agent-operating-standards Public
Agent operating standards for documentation, artifacts, issues, pull requests, and repository workflows.
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…