shuvomoy/autoopt
v0.1.0Apache-2.0
Human-gated, repository-grounded automation for optimization research.
scripts
- bnb-pep-skill
- scripts/validate_generated_instance.py
- chatgpt-pro-handoff
- scripts/chatgpt_handoff.py
- chatgpt-pro-session
- scripts/session_state.py
- lean-verify
- scripts/check_lean_project.py
- research-repo-manager
- scripts/audit_sources.py
4 more
- scripts/init_research_repo.py
- solve-with-highest-reasoning
- scripts/init_campaign.py
- scripts/validate_campaign.py
plugin.json
- name
- autoopt
- version
- 0.1.0
- description
- Human-gated, repository-grounded automation for optimization research.
- author
- Heechang Kim, Ernest Ryu, and Shuvomoy Das Gupta
- license
- Apache-2.0
- repository
- https://github.com/Shuvomoy/AutoOPT
plugin.json
{
"$schema": "https://agent-plugins.org/schemas/1.0.0/plugin.schema.json",
"name": "autoopt",
"version": "0.1.0",
"description": "Human-gated, repository-grounded automation for optimization research.",
"author": {
"name": "Heechang Kim, Ernest Ryu, and Shuvomoy Das Gupta"
},
"homepage": "https://github.com/Shuvomoy/AutoOPT",
"repository": "https://github.com/Shuvomoy/AutoOPT",
"license": "Apache-2.0",
"keywords": [
"optimization",
"research-automation",
"performance-estimation",
"symbolic-reasoning",
"lean"
]
}
What else this package ships
These files come with the package and this site does not publish them. They are listed so you know what is there before you install it.
- 8Python files
- 9YAML files
- 3other files