Skip to content
View pashamango's full-sized avatar
:bowtie:
States of legal recreational mathematics only
:bowtie:
States of legal recreational mathematics only
0 followers · 1 following

Achievements

Achievement: Pull Sharkx2Achievement: YOLO

Achievements

Achievement: Pull Sharkx2Achievement: YOLO

Highlights

Block or report pashamango

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
pashamango/README.md

Pavel Cherkashin

Managing Partner at Mindrock · AI safety researcher · Los Altos, CA

I invest in and build AI systems — from venture checks to Lean proofs to running code. Previously GM Consumer & Online (Russia) at Microsoft, Country Manager Russia/CIS at Adobe and Siebel. PhD in Computer Science.

Building now

  • hackt.com — a self-sustaining service for people and agents who build
  • CVE University — hands-on cybersecurity education: formal methods, labs, real hardware
  • Protocol Phi / xHTTP — open mandate & payment protocol for AI agents (x402 family: x401/x402/x404)
  • Ontology Proof System — formal verification engineering in Lean 4 + mathlib

Interests

Sovereign agent infrastructure · MCP/A2A · agent economies · formal methods · cybersecurity

Reach me

Popular repositories Loading

  1. minutta minutta Public

    VS Code workspace for the minutta identity.

  2. pashamango pashamango Public

    Pavel Cherkashin — Managing Partner at Mindrock, AI safety researcher

    Jupyter Notebook

  3. morning_web morning_web Public

    Grand experiment of autogeneration inspired by the spatial distribution of morning dew droplets on a spider's web

    Python

  4. fractal.directory fractal.directory Public

    Fractal directory

    Python

  5. hourglass_experiment_2 hourglass_experiment_2 Public

    Hourglass experiment 2

    Python 1

  6. yogpt yogpt Public

    Forked from shwars/yogpt

    Command-Line GPT chat

    Python