10 packages found
LLM agents that write machine-checked cryptographic proofs in EasyCrypt (arXiv:2607.02847)
MCP server giving LLM agents a seven-verb API over papers, documents, code, state, patents, and cached web/Wolfram/YouTu
Give Claude Code the GitHub + Slack context behind any PR. Open-source local-first MCP server. BYOK.
A list of open-source AI projects you can use to generate income easily.
LLM Agent paired with Image Captioning and Yolov8 models plays God of War
AAAI24(Oral) ProAgent: Building Proactive Cooperative Agents with Large Language Models
🌱 A little course on Reinforcement Learning Environments for evaluating and training Language Models
Rails Engine with MCP compliant Spec.
A unified client for AI providers with built-in agent support.
Interactive LLM Powered NPCs, is an open-source project that completely transforms your interaction with non-player char