C

Cosmicwanderer1/lean4-harness-plugin

“Designed for DeepSeek Harness tools workflows.”

OverviewREADME

TL;DR

Lean 4 service and Harness tools for deepseek-harness.

30 days of GitHub stars

+0 stars

+0% observed change

Oct 15+0 stars1 totalOct 16+0 stars (estimated)1 totalOct 17+0 stars (estimated)1 totalOct 18+0 stars (estimated)1 totalOct 19+0 stars (estimated)1 totalOct 20+0 stars1 totalOct 21+0 stars (estimated)1 totalOct 22+0 stars (estimated)1 totalOct 23+0 stars (estimated)1 totalOct 24+0 stars (estimated)1 totalOct 25+0 stars (estimated)1 totalOct 26+0 stars (estimated)1 totalOct 27+0 stars (estimated)1 totalOct 28+0 stars (estimated)1 totalOct 29+0 stars (estimated)1 totalOct 30+0 stars (estimated)1 totalOct 31+0 stars (estimated)1 totalNov 1+0 stars (estimated)1 totalNov 2+0 stars (estimated)1 totalNov 3+0 stars (estimated)1 totalNov 4+0 stars (estimated)1 totalNov 5+0 stars1 totalNov 6+0 stars1 totalNov 7+0 stars1 totalNov 8+0 stars1 totalNov 9+0 stars1 totalNov 10+0 stars1 totalNov 11+0 stars1 totalNov 12+0 stars1 total

Oct 14Oct 28Nov 12

Also in this category

4 items

T

Tools

Tencent/WeKnora

Four read-only tools over a WeKnora knowledge base: list knowledge bases, hybrid passage search, reassemble one document's chunks in order, and WeKnora's own cited RAG or ReAct-agent answer with a resumable session id.

★ 37.2K

D

Tools

DayuanJiang/next-ai-draw-io

Draws draw.io diagrams in DeepSeek Harness through the next-ai-drawio MCP server: the link in the reply opens a live preview in the right sidebar, you can edit the diagram by hand, and each AI change is a version you can restore. Node.js 18+; npx downloads the MCP server on first use.

★ 36.9K

S

Tools

superdesigndev/treg

Tool catalog for agents: search ~2,600 external endpoints (SEO and SERP, backlinks, social, people and company enrichment, ad libraries, scraping) by the task you want done, read each one's parameters and per-call price, then call it with the credential injected server-side. Ships the skill plus an MCP row that stays disabled until TREG_TOKEN is set.

★ 7.8K

T

Tools

T-Auto/dsh-ops

Provides bash, PowerShell 7, and high-performance Rust tools for DSH on Windows to reduce token usage.

★ 5.7K