pandaycxie

not claimed

Claim All listings

This publisher has an account here and has not listed a server yet.

Productivity & Workflow · Learning & Documentation

0 + 3

servers + skills

2 categories

—

installs

across every listing

followers

told when a release lands

—

average rating

no reviews yet

3 agent skills — instructions the agent loads on demand. 3 of 3 are free. Median context cost 4.6k tokens.

Proof Refactor

Refactor a completed, research-loop-validated proof closure into a compact, locally checkable proof, minimal derived proof DAG, and…

4.3k ctx standalone

Free Details

Proof to Paper

Turn a completed proof corpus, validated research-loop closure, or current proof-refactor handoff into one publication-ready LaTeX…

2.8k ctx standalone

Free Details

Research Loop

Pursue an active theoretical or computational research Goal with minimal file-backed memory of key claims, hard dependencies, evidence…

6.7k ctx standalone

Free Details

Authentication

0 of 0 use OAuth

The rest either hold an API key issued by the publisher or ask for nothing.

Support

Community publisher

Listed without a verification tick. Read the listing before installing.