HN Explorer

aytuakarlar

↗ HN profile [ 66.8 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. 1 points 0
  2. 1 points 0
  3. 1 points 0
  4. 1 points 0
  5. 1 points 0
  6. 1 points 0
  7. Show HN: CSL MCP Server – Write and Verify AI Safety Policies from Claude/Cursor (pypi.org)

    CSL-Core is a policy engine that formally verifies AI agent constraints using Z3. Instead of prompting an LLM to behave, you write a small policy in CSL (Constitutional Specification Language), Z3 proves it has no…

    1 points 1
  8. Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI (github.com)

    Hi HN, I'm Aytug, the creator of CSL-Core. We built this because we realized that "prompt engineering" isn't enough for critical AI systems (like in finance or governance). You can't just ask an LLM nicely not to delete…

    2 points 3
  9. 1 points 0
  10. Show HN: I built an AI Colosseum to battle-test different agent architectures (project-chimera.streamlit.app)

    Hey HN, I've been obsessed with a problem: raw LLMs are powerful but unsafe for high-stakes decisions. I've spent the last few months building a hybrid architecture to make them more rational and disciplined. To test…

    3 points 0
  11. 1 points 0
  12. 1 points 0
  13. Show HN: Project Chimera v1.2 – Neuro-Symbolic-Causal AI Agent (Open Source) (github.com)

    I’ve just released Project Chimera v1.2, an open-source hybrid AI agent that blends neuro-symbolic reasoning with causal inference to tackle strategic decision-making problems. Benchmarks: I tested my…

    2 points 1
  14. What's the best way to benchmark neuro‑symbolic‑causal AI agents? (github.com)
    1 points 1
  15. Show HN: Project Chimera v1.2 – Neuro-Symbolic-Causal AI Agent – OpenSource Demo (github.com)
    1 points 2
  16. Show HN: Project Chimera – Hybrid AI Agent Combining LLM, Symbolic, and Causal (github.com)

    Over the past few months, I’ve been building Project Chimera — a prototype AI agent that integrates three reasoning paradigms into a single decision-making system: - Neuro (LLM) for creative strategy generation -…

    4 points 3