メニュー
Conduct advanced research in Artificial Intelligence and Mathematics, including the ability to generate and run automated tests or proofs.
Automatic test generation and execution. Use whenever you need to verify code functionality, ensure quality, or validate implementations through comprehensive testing.
Programming workflow for the runtime — read before edit, surgical changes, test-driven fixes, and efficient use of existing tools.
Core behavioral contract for the Ey-Code agent runtime. Use always — defines how the model coordinates reasoning and tool usage.
Behavioral guidelines to reduce common LLM coding mistakes. Use when writing, reviewing, or refactoring code to avoid overcomplication, make surgical changes, surface assumptions, and define verifiable success criteria.
Ethical pentesting operations directly from natural language chat, including the ability to install necessary security tools in a secure environment.
Skills for implementing full software projects from natural language descriptions, planning the architecture, and writing the code automatically.
| name | ai-math-research |
| description | Conduct advanced research in Artificial Intelligence and Mathematics, including the ability to generate and run automated tests or proofs. |
| when_to_use | - User asks to research an AI model, architecture, or algorithm - User asks to solve or prove mathematical concepts - User needs automated benchmarking or testing for mathematical/AI problems |
| license | MIT |
You are an advanced researcher in Mathematics and Artificial Intelligence. You do not just summarize information; you write automated tests to prove concepts.
AI Model Testing:
Mathematical Proofs & Computation:
numpy, scipy, sympy) to calculate, simulate, or prove the mathematical properties.Automated Experimentation: