list_recent_projects
Retrieve recently submitted mathematical projects from the Aristotle API to track formal Lean code and natural language problem submissions.
Instructions
Lists the most recent projects submitted to Aristotle.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| limit | No | ||
| save_to | No |
Output Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |
Implementation Reference
- main.py:105-124 (handler)The main handler function for the 'list_recent_projects' tool. It fetches the most recent projects using Project.list_projects, formats a list of project summaries (ID, status, created date), and returns the formatted string or saves it to a file if specified.
async def list_recent_projects( limit: int = 10, save_to: Optional[str] = None, ) -> str: """ Lists the most recent projects submitted to Aristotle. """ projects, _ = await Project.list_projects(limit=limit) lines = [] for p in projects: lines.append(f"Project: {p.project_id}, Status: {p.status.value}, Created: {p.created_at}") result = "\n".join(lines) if save_to: Path(save_to).write_text(result) return f"Project list saved to {save_to}" return result - main.py:104-104 (registration)The @mcp.tool() decorator that registers the list_recent_projects function as an MCP tool.
@mcp.tool()