MichaelvanLaar/proof-of-thought

TypeScript port of https://github.com/DebarghaG/proofofthought by DebarghaG.

/ 100

Experimental

No Package No Dependents

Maintenance 13 / 25

Adoption 0 / 25

Maturity 9 / 25

Community 0 / 25

Stars

—

Forks

—

Language

TypeScript

License

—

Category

Last pushed

Mar 28, 2026

Commits (30d)

Get this data via API

curl "https://pt-edge.onrender.com/api/v1/quality/llm-tools/MichaelvanLaar/proof-of-thought"

Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.

Higher-rated alternatives

ai4co/reevo

[NeurIPS 2024] ReEvo: Large Language Models as Hyper-Heuristics with Reflective Evolution

SALT-NLP/collaborative-gym

Framework and toolkits for building and evaluating collaborative agents that can work together...

Gen-Verse/LatentMAS

Latent Collaboration in Multi-Agent Systems

lean-dojo/LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

WooooDyy/AgentGym-RL

Code and implementations for the paper "AgentGym-RL: Training LLM Agents for Long-Horizon...