AGENTS / GITHUB / mathematical-proof-agent
githubinferredactive

mathematical-proof-agent

provenance:github:avasis-ai/mathematical-proof-agent

The agent that mathematically proves its own code.

View Source ↗First seen 18d agoNot yet hireable

PUBLIC HISTORY

First discoveredApr 5, 2026

IDENTITY

inferred

Identity inferred from code signals. No PROVENANCE.yml found.

Is this yours? Claim it →

METADATA

platformgithub
first seenMar 30, 2026
last updatedApr 4, 2026
last crawled11 days ago
version—

README BADGE

Add to your README:

![Provenance](https://getprovenance.dev/api/badge?id=provenance:github:avasis-ai/mathematical-proof-agent)