Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
- ai-agents
- mathematics
- neuro-symbolic
- reasoning
47,133 repositories indexed
25–38 of 38 · Most stars
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
Extract knowledge from all information sources using gpt and other language models. Index and make Q&A session with information sources.
Local-first AI trend radar and live-session distillation
Schema and generated objects for biolink data model and upper ontology
Feather agent harness, training integrations, and evaluation tools for knowledge work
Windows Registry Knowledge Base
从需求澄清到可信交付的 Agent 编程 Harness 工程框架
The World's Most Comprehensive, Authoritative, and Structured Open Source Data Source Knowledge Base
通过 cc-connect 将公开网页安全分析并导入本机 Obsidian 的 Claude Code Skill
Digital Forensics Artifacts Knowledge Base
TypeDB Bio: Biomedical Knowledge Graph
AI-powered platform for OSINT intelligence analysis. Features archive discovery with hypothesis-driven investigation, GLiNER entity extraction, Mapbox geospatial visualization, network analysis, and document processing. Built with FastAPI, Next.js, Weaviate, and DSPy.
Agentic memory for CTI in Python — STIX knowledge graphs, threat-actor alias resolution, offline-first RAG, MCP server for Claude Code and LangChain agents
A complete, reliable, secure and open source webapp based on zero-knowledge encryption to deal with TOTP