Type a name, or just describe what you need. Results blend keyword and meaning-based search. 9 matches, each with an EU availability status.
App · Google
Google's verification portal for checking whether images, video, audio or text carry a SynthID AI-content watermark.
Research · OpenAI
OpenAI's announced AI-produced results: a local smoothing proof, an ETH refutation and a QCD result, with Lean verification.
OpenAI repository of 700+ math manuscripts and Lean proofs generated by an unreleased internal model.
App · Anthropic
Claude Code feature where Claude writes orchestration scripts that run tens to hundreds of parallel subagents with verification.
Research
Counterexamples to Grad's conjecture in plasma physics, with a Lean 4 formalization of the main result.
API · Inference.net
OpenAI-compatible inference API and gateway for open-weight and closed models, with provider failover and pass-through pricing.
Research · Anthropic
Anthropic's embedded text watermarks and C2PA Content Credentials for Claude output, built to meet EU AI Act Article 50(2).
Anthropic's machine-readable marking of Claude output: embedded text watermarks and C2PA Content Credentials on files.
Library · Egonex AI
Claude Code plugin that builds an interactive knowledge graph of a codebase or wiki using a multi-agent pipeline.
