tradecatlabs
Follow
Stars
Paper2Agent is a multi-agent AI system that automatically transforms research papers into interactive AI agents.
Formalization of Mathematical Logic
📡 Your own AI-powered news radar. Generates daily briefings in English & Chinese. | 用 AI 构建你专属的新闻雷达
MuJoCo fruit fly body model and locomotion RL tasks
Turn PDFs, books and papers into interactive learning webpages｜将复杂材料转化为可追溯、可测验、可做笔记的学习网页
A curated list of penetration testing and ethical hacking tools, organized by category. This compilation includes tools from Kali Linux and other notable sources.
Local-first session search, analytics, insights, and token use statistics for coding agents, supporting Claude Code, Codex, and more than 20 other agents.
A project to map out the relations between different equational theories of Magmas.
Community-curated record of math problems solved by AI - significance rankings, verification labels, CC BY 4.0 dataset
Turn YouTube, Bilibili, or local course/meeting recordings into slide-illustrated Markdown and HTML lecture notes.
The open-source CapCut alternative
Oh my tmux! My self-contained, pretty & versatile tmux configuration made with 💛🩷💙🖤❤️🤍
Sub2API 一站式开源中转服务，让 Claude、Openai 、Gemini、Grok订阅统一接入，支持拼车共享，更高效分摊成本，原生工具无缝使用。
SourceIO is an Blender(4.0+) addon for importing source engine textures/models/maps
🏝️ OASIS: Open Agent Social Interaction Simulations with One Million Agents.
A Simple and Universal Swarm Intelligence Engine, Predicting Anything. 简洁通用的群体智能引擎，预测万物
AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI
A repository for BFO 2020 artifacts specified in ISO 21838-2:2020
All of the official CS:GO maps decompiled as of 10/20/18
Neo4j graph construction from unstructured data using LLMs
High-performance single-GPU inference for selected model checkpoints and GPUs.
Netflix-level subtitle cutting, translation, alignment, and even dubbing - one-click fully automated AI video subtitle team | Netflix级字幕切割、翻译、对齐、甚至加上配音，一键全自动视频搬运AI字幕组
Trusted AI mathematics workbench: ProblemContract to Attempt to verified proof/counterexample bundles with SymPy and Lean evidence gates.
Wrap Antigravity, ChatGPT Codex, Claude Code, Grok Build, Muse Code, Devin as an OpenAI/Gemini/Claude/Codex compatible API service, allowing you to enjoy the free Gemini Series, GPT Series, Grok Se…
real time face swap and one-click video deepfake with only a single image