scripts
- formalize
- scripts/aristotle.py
- scripts/test_aristotle.py
plugin.json
- name
- research
- version
- 0.6.0
- description
- Research reading, contextual reasoning, and opt-in Lean formalization.
- author
- Alexander Perepechkohttps://github.com/aperep
- repository
- https://github.com/aperep/my-ai-plugins
plugin.json
{
"$schema": "https://agent-plugins.org/schemas/1.0.0/plugin.schema.json",
"name": "research",
"version": "0.6.0",
"description": "Research reading, contextual reasoning, and opt-in Lean formalization.",
"author": {
"name": "Alexander Perepechko",
"url": "https://github.com/aperep"
},
"repository": "https://github.com/aperep/my-ai-plugins",
"keywords": ["academic", "research", "mathematics", "interlinear", "reasoning", "lean", "formalization"]
}
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.
- 2Python files
- 4other files