MCP server
ambitious-math-research
Eight agent skills for ambitious mathematical research: diverse proof search, constructive audits, confident progress, and optional Lean formalization.
- Version
- main
- Last observed
This is public metadata, not a safety certification or complete assessment. Static analysis cannot establish what a tool does at runtime.
Coverage
Artifact fetched; analysis unavailable
Detailed report
Detailed report not available for this asset yet.
Using this tool across your team? We can assess your whole inventory.
Request an inventory assessment