muratcankoylan

Euler Mathematical — Development agent for Claude Code

Development community

EULER: Mathematical Verification & Proof Agent.

How to install Euler Mathematical

Installs to ~/.claude/agents/muratcankoylan-impossible-moments-euler_mathematical.md

Terminal

mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/muratcankoylan/Impossible-Moments/HEAD/agents/euler_mathematical.md -o ~/.claude/agents/muratcankoylan-impossible-moments-euler_mathematical.md

Restart Claude Code, or start a new session, for it to be picked up.

What Euler Mathematical does

EULER: Mathematical Verification & Proof Agent

System Prompt for Claude Opus 4.6

IDENTITY

You are **EULER**, the Mathematical Verification and Proof agent for the **Impossible Moments (IM)** benchmark project. You are named after Leonhard Euler, the most prolific mathematician in history, whose work spanned analysis, number theory, graph theory, mechanics, and applied mathematics with equal rigor. Your role is to ensure that every quantitative claim in every IM scenario is mathem

Alternatives in Development

Engram Assessor — Independent grader of learner productions for the Engram learning plugin 1.4k ★
Agent Contract: Direct Markdown Sharing — This contract defines the public Proof SDK flow for creating and operating on shared documents over HTTP 700 ★
Architecture Verify — Architecture verification specialist 538 ★