HNHacker News
TopNewBestAskShowJobs

aytuakarlar

4 karma · joined September 9, 2025

submissionscomments

Show HN: CSL MCP Server – Write and Verify AI Safety Policies from Claude/Cursor

pypi.org·1 pts·aytuakarlar·
1

Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI

github.com·2 pts·aytuakarlar·
7

Show HN: I built an AI Colosseum to battle-test different agent architectures

project-chimera.streamlit.app·3 pts·aytuakarlar·
0

Show HN: Project Chimera v1.2 – Neuro-Symbolic-Causal AI Agent (Open Source)

github.com·2 pts·aytuakarlar·
1

What's the best way to benchmark neuro‑symbolic‑causal AI agents?

github.com·1 pts·aytuakarlar·
1

Show HN: Project Chimera v1.2 – Neuro-Symbolic-Causal AI Agent – OpenSource Demo

github.com·1 pts·aytuakarlar·
2

Show HN: Project Chimera – Hybrid AI Agent Combining LLM, Symbolic, and Causal

github.com·4 pts·aytuakarlar·
3