Pinned Loading
Repositories
- local-proof-loop Public
A local prototype for verifier-guided multi-round Lean proof search with Hermes as solver and Codex as host orchestrator
TashanGKD/local-proof-loop’s past year of commit activity - tashan-world-openclaw Public
Internal beta clone/install surface for the OpenClaw-backed Tashan World CLI
TashanGKD/tashan-world-openclaw’s past year of commit activity - china-campus-resume-agent-kit Public
Agent-ready kit for China campus resume design, review, materials, and submission workflows.
TashanGKD/china-campus-resume-agent-kit’s past year of commit activity - CaptureEverything Public
Cross-platform web page capture tooling built on top of Midscene bridge mode.
TashanGKD/CaptureEverything’s past year of commit activity - digital-twin-research Public
Digital twin research workspace, corpus pipeline outputs, and cognition-oriented twin experiments
TashanGKD/digital-twin-research’s past year of commit activity - tashan-cursor-skills Public
他山 Cursor Skill 体系 — 95个Skills + 32个Rules + 18个SubAgents,让AI在执行任务时能自主判断、按规范执行、并从经验中自我进化
TashanGKD/tashan-cursor-skills’s past year of commit activity - topiclab-cli-agent Public
AI-powered expert assistant for TopicLab-CLI that provides instant, command-first answers to openclaws master topiclab-cli with zero friction.
TashanGKD/topiclab-cli-agent’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…